Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:50:34 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/ctmc/tandem/tandem.prism --const c=511 approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:50:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
82154 loops (16430/sec), 44899672 sampling steps, 81779 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4233 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:
211447 loops (25858/sec), 115671935 sampling steps, 211047 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4583 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:
341069 loops (25924/sec), 186639022 sampling steps, 340650 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4852 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:
470810 loops (25948/sec), 257679991 sampling steps, 470382 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4996 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:
600877 loops (26013/sec), 328886217 sampling steps, 600444 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5087 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:
730391 loops (25902/sec), 399813281 sampling steps, 729952 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5174 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:
859377 loops (25797/sec), 470430847 sampling steps, 858935 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5235 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:
989582 loops (26041/sec), 541700389 sampling steps, 989138 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5275 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:
1120063 loops (26096/sec), 613132448 sampling steps, 1119616 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5323 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:
1250293 loops (26046/sec), 684446072 sampling steps, 1249844 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5365 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:
1380672 loops (26075/sec), 755846379 sampling steps, 1380221 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5399 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:
1511379 loops (26141/sec), 827444379 sampling steps, 1510924 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5453 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:
1641950 loops (26114/sec), 898937077 sampling steps, 1641491 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5498 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:
1772346 loops (26079/sec), 970306561 sampling steps, 1771885 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5534 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:
1902861 loops (26103/sec), 1041769151 sampling steps, 1902397 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5570 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:
2033538 loops (26135/sec), 1113311219 sampling steps, 2033070 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5621 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:
2164178 loops (26128/sec), 1184851319 sampling steps, 2163710 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5634 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:
2294591 loops (26082/sec), 1256274938 sampling steps, 2294121 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5659 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:
2423755 loops (25832/sec), 1326995833 sampling steps, 2423284 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5683 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:
2553927 loops (26034/sec), 1398282797 sampling steps, 2553454 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5713 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:
2684639 loops (26142/sec), 1469825909 sampling steps, 2684165 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5726 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:
2815291 loops (26130/sec), 1541360868 sampling steps, 2814815 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5761 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:
2945934 loops (26128/sec), 1612904118 sampling steps, 2945456 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5790 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:
3076639 loops (26141/sec), 1684470011 sampling steps, 3076161 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5800 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:
3207404 loops (26153/sec), 1756059967 sampling steps, 3206926 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5804 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:
3338019 loops (26123/sec), 1827575525 sampling steps, 3337539 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5828 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:
3468528 loops (26101/sec), 1899032076 sampling steps, 3468046 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5860 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:
3599325 loops (26159/sec), 1970655528 sampling steps, 3598843 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5862 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:
3730231 loops (26181/sec), 2042333154 sampling steps, 3729749 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5867 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:
3860402 loops (26034/sec), 2113622656 sampling steps, 3859919 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5893 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:
3989810 loops (25881/sec), 2184459995 sampling steps, 3989325 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5923 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:
4120298 loops (26097/sec), 2255904417 sampling steps, 4119813 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5935 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:
4251174 loops (26175/sec), 2327555817 sampling steps, 4250689 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5940 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:
4382333 loops (26231/sec), 2399372059 sampling steps, 4381848 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5940 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:
4512735 loops (26080/sec), 2470780767 sampling steps, 4512250 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5946 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:
4643744 loops (26201/sec), 2542512980 sampling steps, 4643259 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5946 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:
4774332 loops (26117/sec), 2614030124 sampling steps, 4773847 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5950 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:
4905188 loops (26171/sec), 2685667411 sampling steps, 4904702 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5962 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:
5035702 loops (26102/sec), 2757126190 sampling steps, 5035216 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5962 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:
5166245 loops (26108/sec), 2828623241 sampling steps, 5165758 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5987 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:
5297118 loops (26174/sec), 2900289350 sampling steps, 5296630 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6006 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:
5427352 loops (26046/sec), 2971599380 sampling steps, 5426863 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6024 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:
5556791 loops (25887/sec), 3042468146 sampling steps, 5556298 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6066 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:
5686644 loops (25970/sec), 3113582015 sampling steps, 5686151 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6076 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:
5817418 loops (26154/sec), 3185206194 sampling steps, 5816924 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6086 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:
5948220 loops (26160/sec), 3256820448 sampling steps, 5947726 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6091 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:
6078895 loops (26135/sec), 3328367256 sampling steps, 6078400 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6104 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:
6209243 loops (26069/sec), 3399720313 sampling steps, 6208747 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6116 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:
6339984 loops (26148/sec), 3471304232 sampling steps, 6339488 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6125 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:
6470896 loops (26182/sec), 3542977873 sampling steps, 6470400 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6131 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:
6601772 loops (26175/sec), 3614635300 sampling steps, 6601276 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6131 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:
6732339 loops (26113/sec), 3686153625 sampling steps, 6731842 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6142 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:
6862639 loops (26060/sec), 3757483447 sampling steps, 6862140 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6162 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:
6992288 loops (25929/sec), 3828455612 sampling steps, 6991788 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6174 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:
7121037 loops (25749/sec), 3898926028 sampling steps, 7120536 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6188 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:
7250921 loops (25976/sec), 3970046250 sampling steps, 7250418 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6209 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:
7381140 loops (26043/sec), 4041370736 sampling steps, 7380637 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6217 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:
7511006 loops (25973/sec), 4112501410 sampling steps, 7510502 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6239 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:
7641449 loops (26088/sec), 4183946099 sampling steps, 7640945 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6244 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:
7771715 loops (26053/sec), 4255279819 sampling steps, 7771211 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6250 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:
7901949 loops (26046/sec), 4326572741 sampling steps, 7901445 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6254 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:
8032310 loops (26072/sec), 4397970070 sampling steps, 8031806 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6254 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:
8162255 loops (25989/sec), 4469151303 sampling steps, 8161749 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6274 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:
8292588 loops (26066/sec), 4540514902 sampling steps, 8292082 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6280 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:
8422883 loops (26059/sec), 4611857927 sampling steps, 8422376 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6291 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:
8552665 loops (25956/sec), 4682921799 sampling steps, 8552158 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6296 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:
8681840 loops (25835/sec), 4753640672 sampling steps, 8681333 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6297 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:
8811799 loops (25991/sec), 4824779987 sampling steps, 8811292 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6302 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:
8942225 loops (26085/sec), 4896175470 sampling steps, 8941716 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6340 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:
9072389 loops (26032/sec), 4967456859 sampling steps, 9071878 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6360 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:
9202946 loops (26111/sec), 5038934851 sampling steps, 9202435 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6360 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:
9333191 loops (26049/sec), 5110238829 sampling steps, 9332679 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6370 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:
9463563 loops (26074/sec), 5181631645 sampling steps, 9463051 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6370 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:
9593960 loops (26079/sec), 5253041819 sampling steps, 9593447 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6380 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:
9724117 loops (26031/sec), 5324316119 sampling steps, 9723603 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6391 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:
9854162 loops (26009/sec), 5395538554 sampling steps, 9853647 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6404 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:
9984344 loops (26036/sec), 5466827989 sampling steps, 9983829 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6407 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:
10114202 loops (25971/sec), 5537922161 sampling steps, 10113687 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6414 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:
10242917 loops (25743/sec), 5608356170 sampling steps, 10242402 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6420 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:
10372840 loops (25984/sec), 5679507979 sampling steps, 10372324 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6430 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:
10503174 loops (26066/sec), 5750892030 sampling steps, 10502658 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6434 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:
10633322 loops (26029/sec), 5822154861 sampling steps, 10632806 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6434 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:
10763559 loops (26047/sec), 5893496076 sampling steps, 10763043 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6435 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:
10893761 loops (26040/sec), 5964785084 sampling steps, 10893244 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6449 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:
11024022 loops (26052/sec), 6036091277 sampling steps, 11023504 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6459 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:
11154751 loops (26145/sec), 6107673936 sampling steps, 11154233 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6459 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:
11284964 loops (26042/sec), 6178968780 sampling steps, 11284445 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6470 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:
11415181 loops (26043/sec), 6250276082 sampling steps, 11414662 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6470 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:
11545265 loops (26016/sec), 6321505117 sampling steps, 11544745 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6484 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:
11675163 loops (25979/sec), 6392609563 sampling steps, 11674643 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6486 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:
11804045 loops (25776/sec), 6463179683 sampling steps, 11803525 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6494 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:
11933687 loops (25928/sec), 6534163427 sampling steps, 11933165 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6517 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:
12063641 loops (25990/sec), 6605342816 sampling steps, 12063119 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6517 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:
12193717 loops (26015/sec), 6676571959 sampling steps, 12193195 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6520 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:
12323918 loops (26040/sec), 6747856474 sampling steps, 12323396 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6520 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:
12454199 loops (26056/sec), 6819204116 sampling steps, 12453677 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6520 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:
12584515 loops (26063/sec), 6890573379 sampling steps, 12583993 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6528 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:
12714782 loops (26053/sec), 6961892612 sampling steps, 12714260 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6529 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:
12845390 loops (26121/sec), 7033383888 sampling steps, 12844868 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6529 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:
12975894 loops (26100/sec), 7104847579 sampling steps, 12975372 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6529 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:
13106207 loops (26062/sec), 7176196207 sampling steps, 13105684 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6539 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:
13236123 loops (25983/sec), 7247339941 sampling steps, 13235599 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6549 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:
13364978 loops (25771/sec), 7317890378 sampling steps, 13364454 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6553 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13495127 loops (26029/sec), 7389138574 sampling steps, 13494602 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6563 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13625374 loops (26049/sec), 7460472218 sampling steps, 13624849 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6563 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13755276 loops (25980/sec), 7531588789 sampling steps, 13754751 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6565 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13885705 loops (26085/sec), 7603011448 sampling steps, 13885179 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6575 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14015830 loops (26025/sec), 7674255383 sampling steps, 14015303 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6586 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14146014 loops (26036/sec), 7745561327 sampling steps, 14145487 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6587 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14276184 loops (26034/sec), 7816848609 sampling steps, 14275657 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6606 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14406461 loops (26055/sec), 7888160758 sampling steps, 14405934 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6609 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14536505 loops (26008/sec), 7959370132 sampling steps, 14535978 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6611 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14666864 loops (26071/sec), 8030756248 sampling steps, 14666336 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6625 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14796920 loops (26011/sec), 8101990590 sampling steps, 14796392 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6626 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14926128 loops (25841/sec), 8172717533 sampling steps, 14925599 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6637 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15056026 loops (25979/sec), 8243838162 sampling steps, 15055496 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6649 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15186316 loops (26058/sec), 8315181494 sampling steps, 15185786 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6649 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15316818 loops (26100/sec), 8386665608 sampling steps, 15316288 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6649 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15447445 loops (26125/sec), 8458200229 sampling steps, 15446915 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6649 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15577819 loops (26074/sec), 8529576123 sampling steps, 15577288 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6659 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15708234 loops (26083/sec), 8600987746 sampling steps, 15707703 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6659 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15838712 loops (26095/sec), 8672420587 sampling steps, 15838181 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6659 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15969219 loops (26101/sec), 8743865268 sampling steps, 15968688 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6660 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16099731 loops (26102/sec), 8815324845 sampling steps, 16099200 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6660 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16229885 loops (26030/sec), 8886598483 sampling steps, 16229354 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6661 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16360040 loops (26031/sec), 8957884937 sampling steps, 16359509 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6662 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16489239 loops (25839/sec), 9028596156 sampling steps, 16488708 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6662 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16619160 loops (25984/sec), 9099724791 sampling steps, 16618629 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6665 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16749376 loops (26043/sec), 9171041010 sampling steps, 16748845 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6666 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16879602 loops (26045/sec), 9242324176 sampling steps, 16879071 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6666 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17010369 loops (26153/sec), 9313930640 sampling steps, 17009838 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6668 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17140789 loops (26084/sec), 9385342571 sampling steps, 17140258 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6668 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17271137 loops (26069/sec), 9456703767 sampling steps, 17270606 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6669 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17401048 loops (25982/sec), 9527839767 sampling steps, 17400515 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6693 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17531525 loops (26095/sec), 9599285832 sampling steps, 17530991 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6703 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17661610 loops (26017/sec), 9670478622 sampling steps, 17661074 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6723 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17792183 loops (26114/sec), 9741965500 sampling steps, 17791647 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6723 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17922316 loops (26026/sec), 9813222636 sampling steps, 17921779 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6734 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18051240 loops (25784/sec), 9883797527 sampling steps, 18050703 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6734 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18181152 loops (25982/sec), 9954905740 sampling steps, 18180615 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6735 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18311462 loops (26062/sec), 10026255382 sampling steps, 18310925 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6744 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18441605 loops (26028/sec), 10097516951 sampling steps, 18441068 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6752 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18572044 loops (26087/sec), 10168951333 sampling steps, 18571507 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6761 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18702160 loops (26023/sec), 10240196064 sampling steps, 18701622 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6771 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18832265 loops (26021/sec), 10311426314 sampling steps, 18831726 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6781 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18962600 loops (26067/sec), 10382814007 sampling steps, 18962061 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6782 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19092808 loops (26041/sec), 10454113832 sampling steps, 19092268 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6792 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19223340 loops (26106/sec), 10525605037 sampling steps, 19222800 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6793 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19353638 loops (26059/sec), 10596920865 sampling steps, 19353098 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6793 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19483550 loops (25982/sec), 10668054475 sampling steps, 19483010 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6793 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19612641 loops (25818/sec), 10738747443 sampling steps, 19612101 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6793 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19742548 loops (25981/sec), 10809891866 sampling steps, 19742008 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6795 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19873271 loops (26144/sec), 10881481146 sampling steps, 19872730 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6805 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20003671 loops (26080/sec), 10952893586 sampling steps, 20003130 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6814 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20134006 loops (26067/sec), 11024252856 sampling steps, 20133465 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6815 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20264643 loops (26127/sec), 11095762686 sampling steps, 20264102 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6815 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20395008 loops (26073/sec), 11167142177 sampling steps, 20394466 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6825 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20525278 loops (26054/sec), 11238483837 sampling steps, 20524736 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6826 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20655396 loops (26023/sec), 11309762085 sampling steps, 20654854 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6831 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20785664 loops (26053/sec), 11381089670 sampling steps, 20785121 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6841 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20916056 loops (26078/sec), 11452503131 sampling steps, 20915513 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6847 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21046099 loops (26008/sec), 11523700675 sampling steps, 21045556 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6854 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21175224 loops (25825/sec), 11594413334 sampling steps, 21174681 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6857 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21305173 loops (25989/sec), 11665559669 sampling steps, 21304630 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6861 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21435435 loops (26052/sec), 11736916825 sampling steps, 21434892 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6861 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21565739 loops (26060/sec), 11808271315 sampling steps, 21565195 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6873 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21696032 loops (26058/sec), 11879605798 sampling steps, 21695488 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6875 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21826410 loops (26075/sec), 11950999119 sampling steps, 21825865 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6885 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21956913 loops (26100/sec), 12022451621 sampling steps, 21956368 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6886 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22086977 loops (26012/sec), 12093667099 sampling steps, 22086432 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6889 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22217499 loops (26104/sec), 12165142492 sampling steps, 22216954 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6889 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22347905 loops (26081/sec), 12236547073 sampling steps, 22347360 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6890 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22478133 loops (26045/sec), 12307831723 sampling steps, 22477587 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6900 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22608202 loops (26013/sec), 12379046604 sampling steps, 22607656 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6900 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22737232 loops (25806/sec), 12449686722 sampling steps, 22736686 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6901 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22867141 loops (25981/sec), 12520808828 sampling steps, 22866595 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6901 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22997461 loops (26064/sec), 12592121047 sampling steps, 22996915 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6903 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23127757 loops (26059/sec), 12663445076 sampling steps, 23127210 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6913 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23258007 loops (26050/sec), 12734756529 sampling steps, 23257460 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6915 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23388444 loops (26087/sec), 12806170376 sampling steps, 23387897 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6915 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23518634 loops (26038/sec), 12877437871 sampling steps, 23518087 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6915 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23648880 loops (26049/sec), 12948727863 sampling steps, 23648333 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6917 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23779245 loops (26073/sec), 13020118659 sampling steps, 23778698 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6917 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23909649 loops (26080/sec), 13091510222 sampling steps, 23909102 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6919 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24040316 loops (26133/sec), 13163094417 sampling steps, 24039769 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6919 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24170321 loops (26001/sec), 13234291552 sampling steps, 24169774 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6919 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24299321 loops (25800/sec), 13304914713 sampling steps, 24298773 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6930 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24429002 loops (25936/sec), 13375942349 sampling steps, 24428454 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6931 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24559446 loops (26088/sec), 13447352588 sampling steps, 24558898 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6931 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24689401 loops (25991/sec), 13518549372 sampling steps, 24688853 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6931 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24819844 loops (26088/sec), 13589963424 sampling steps, 24819296 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6931 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24950487 loops (26128/sec), 13661501274 sampling steps, 24949939 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6932 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25080964 loops (26095/sec), 13732936120 sampling steps, 25080415 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6942 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25211404 loops (26088/sec), 13804355222 sampling steps, 25210855 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6942 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25341817 loops (26082/sec), 13875758973 sampling steps, 25341268 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6942 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25471948 loops (26026/sec), 13947032340 sampling steps, 25471399 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6942 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25602473 loops (26105/sec), 14018504375 sampling steps, 25601924 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6943 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25732490 loops (26003/sec), 14089680832 sampling steps, 25731940 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6953 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25861459 loops (25793/sec), 14160283399 sampling steps, 25860909 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6954 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25991365 loops (25981/sec), 14231403803 sampling steps, 25990815 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6954 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26121780 loops (26083/sec), 14302819044 sampling steps, 26121230 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6954 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26252037 loops (26051/sec), 14374157064 sampling steps, 26251487 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6956 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26382246 loops (26041/sec), 14445435720 sampling steps, 26381696 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6957 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26512353 loops (26021/sec), 14516662781 sampling steps, 26511803 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6966 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26643006 loops (26130/sec), 14588165730 sampling steps, 26642456 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6966 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26772986 loops (25996/sec), 14659339089 sampling steps, 26772435 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6977 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26903163 loops (26035/sec), 14730616229 sampling steps, 26902612 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6977 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27033687 loops (26104/sec), 14802081727 sampling steps, 27033136 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6977 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27163917 loops (26046/sec), 14873368844 sampling steps, 27163366 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6986 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27293860 loops (25988/sec), 14944539438 sampling steps, 27293308 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6996 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27422814 loops (25790/sec), 15015138580 sampling steps, 27422262 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7004 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27552665 loops (25970/sec), 15086225088 sampling steps, 27552112 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7018 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27682956 loops (26058/sec), 15157571799 sampling steps, 27682403 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7022 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27813244 loops (26057/sec), 15228900101 sampling steps, 27812691 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7022 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27943702 loops (26091/sec), 15300314478 sampling steps, 27943149 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7022 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28073844 loops (26028/sec), 15371562158 sampling steps, 28073291 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7022 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28204128 loops (26056/sec), 15442900025 sampling steps, 28203575 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7024 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28334522 loops (26078/sec), 15514314693 sampling steps, 28333969 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7028 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28464705 loops (26036/sec), 15585599139 sampling steps, 28464152 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7028 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28595132 loops (26085/sec), 15656979989 sampling steps, 28594579 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7028 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28725607 loops (26095/sec), 15728417056 sampling steps, 28725054 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7028 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28855754 loops (26029/sec), 15799663684 sampling steps, 28855201 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7028 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28984928 loops (25834/sec), 15870378138 sampling steps, 28984375 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7028 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29114731 loops (25960/sec), 15941470596 sampling steps, 29114178 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7028 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29245217 loops (26097/sec), 16012932273 sampling steps, 29244663 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7038 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29375734 loops (26103/sec), 16084390499 sampling steps, 29375180 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7038 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29506261 loops (26105/sec), 16155859753 sampling steps, 29505707 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7038 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29636661 loops (26080/sec), 16227261326 sampling steps, 29636107 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7038 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29767161 loops (26100/sec), 16298714289 sampling steps, 29766607 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7038 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29897360 loops (26039/sec), 16369998580 sampling steps, 29896806 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7042 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30027507 loops (26029/sec), 16441276548 sampling steps, 30026953 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7042 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30157644 loops (26027/sec), 16512550537 sampling steps, 30157090 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7051 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30287828 loops (26036/sec), 16583835156 sampling steps, 30287274 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7051 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30417717 loops (25977/sec), 16654935174 sampling steps, 30417162 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7068 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30546779 loops (25812/sec), 16725592571 sampling steps, 30546224 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7068 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30676441 loops (25932/sec), 16796565473 sampling steps, 30675886 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7069 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30806911 loops (26094/sec), 16867995827 sampling steps, 30806356 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7070 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30937319 loops (26081/sec), 16939427797 sampling steps, 30936764 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7076 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31067614 loops (26059/sec), 17010753490 sampling steps, 31067059 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7076 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31197766 loops (26030/sec), 17082040816 sampling steps, 31197211 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7076 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31327959 loops (26038/sec), 17153318165 sampling steps, 31327404 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7076 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31458270 loops (26062/sec), 17224668592 sampling steps, 31457715 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7076 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31588507 loops (26047/sec), 17295966720 sampling steps, 31587952 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7076 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31718629 loops (26024/sec), 17367231053 sampling steps, 31718074 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7076 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31848861 loops (26046/sec), 17438552107 sampling steps, 31848305 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7086 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31978787 loops (25985/sec), 17509693075 sampling steps, 31978231 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7087 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32107770 loops (25796/sec), 17580300150 sampling steps, 32107213 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7097 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32238031 loops (26052/sec), 17651628721 sampling steps, 32237474 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7097 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32368065 loops (26006/sec), 17722847433 sampling steps, 32367508 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7097 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32498361 loops (26059/sec), 17794199192 sampling steps, 32497804 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7099 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32628534 loops (26034/sec), 17865467931 sampling steps, 32627976 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7109 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32758647 loops (26022/sec), 17936706378 sampling steps, 32758089 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7109 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32888733 loops (26017/sec), 18007960114 sampling steps, 32888175 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7110 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33018889 loops (26031/sec), 18079239940 sampling steps, 33018331 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7111 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33149112 loops (26044/sec), 18150531108 sampling steps, 33148553 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7122 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33279452 loops (26068/sec), 18221900904 sampling steps, 33278893 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7122 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33409935 loops (26096/sec), 18293342860 sampling steps, 33409376 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7123 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33540052 loops (26023/sec), 18364602493 sampling steps, 33539493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7123 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33670601 loops (26109/sec), 18436085462 sampling steps, 33670042 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7123 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33800983 loops (26076/sec), 18507474003 sampling steps, 33800424 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7123 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33931267 loops (26056/sec), 18578804601 sampling steps, 33930708 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7123 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34061627 loops (26072/sec), 18650193681 sampling steps, 34061067 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7133 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34191422 loops (25959/sec), 18721264832 sampling steps, 34190862 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7133 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34320723 loops (25860/sec), 18792073171 sampling steps, 34320162 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7145 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34450588 loops (25973/sec), 18863183670 sampling steps, 34450027 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7145 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34580590 loops (26000/sec), 18934371548 sampling steps, 34580029 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7145 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34710456 loops (25973/sec), 19005466756 sampling steps, 34709895 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7145 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34840224 loops (25953/sec), 19076528955 sampling steps, 34839663 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7145 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34970254 loops (26006/sec), 19147696940 sampling steps, 34969693 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7146 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35100132 loops (25975/sec), 19218837928 sampling steps, 35099571 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7146 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35229370 loops (25847/sec), 19289601877 sampling steps, 35228809 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7146 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35359100 loops (25946/sec), 19360648410 sampling steps, 35358539 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7147 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35489430 loops (26066/sec), 19431977082 sampling steps, 35488869 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7147 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35619860 loops (26086/sec), 19503396496 sampling steps, 35619299 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7147 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35750250 loops (26078/sec), 19574800833 sampling steps, 35749689 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7147 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35880223 loops (25994/sec), 19645965987 sampling steps, 35879662 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7148 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36010755 loops (26106/sec), 19717437966 sampling steps, 36010194 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7148 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36141059 loops (26060/sec), 19788778232 sampling steps, 36140498 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7148 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36271378 loops (26063/sec), 19860121289 sampling steps, 36270817 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7148 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36401774 loops (26079/sec), 19931523291 sampling steps, 36401213 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7148 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36532139 loops (26073/sec), 20002909215 sampling steps, 36531578 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7148 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36662082 loops (25988/sec), 20074066581 sampling steps, 36661521 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7150 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36791164 loops (25816/sec), 20144747130 sampling steps, 36790603 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7150 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36921172 loops (26001/sec), 20215954781 sampling steps, 36920611 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7150 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37051654 loops (26096/sec), 20287415730 sampling steps, 37051093 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7151 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37181934 loops (26056/sec), 20358790242 sampling steps, 37181373 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7152 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37312480 loops (26109/sec), 20430289647 sampling steps, 37311919 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7152 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37442652 loops (26034/sec), 20501552955 sampling steps, 37442091 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7152 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37572896 loops (26048/sec), 20572875816 sampling steps, 37572335 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7152 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37703165 loops (26053/sec), 20644223206 sampling steps, 37702604 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7152 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37833501 loops (26067/sec), 20715595419 sampling steps, 37832940 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7152 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37963970 loops (26093/sec), 20787015249 sampling steps, 37963409 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7152 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38094136 loops (26033/sec), 20858289975 sampling steps, 38093575 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7152 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38224144 loops (26001/sec), 20929477496 sampling steps, 38223583 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7152 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38353125 loops (25796/sec), 21000097686 sampling steps, 38352564 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7152 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38483127 loops (26000/sec), 21071269956 sampling steps, 38482566 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7152 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38613422 loops (26059/sec), 21142639224 sampling steps, 38612861 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7153 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38743798 loops (26075/sec), 21214037411 sampling steps, 38743237 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7159 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38873657 loops (25971/sec), 21285143883 sampling steps, 38873095 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7170 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39003890 loops (26046/sec), 21356454194 sampling steps, 39003328 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7170 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39134202 loops (26062/sec), 21427789537 sampling steps, 39133640 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7170 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39264691 loops (26097/sec), 21499246449 sampling steps, 39264129 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7170 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39395299 loops (26121/sec), 21570747208 sampling steps, 39394737 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7171 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39525782 loops (26096/sec), 21642174720 sampling steps, 39525220 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7171 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39656006 loops (26044/sec), 21713511353 sampling steps, 39655444 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7173 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39785676 loops (25934/sec), 21784494614 sampling steps, 39785113 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7183 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39914760 loops (25816/sec), 21855174096 sampling steps, 39914197 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7183 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40044742 loops (25996/sec), 21926361849 sampling steps, 40044179 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7183 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40174865 loops (26024/sec), 21997594364 sampling steps, 40174302 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7183 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40305435 loops (26114/sec), 22069089599 sampling steps, 40304872 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7183 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40435752 loops (26063/sec), 22140433297 sampling steps, 40435189 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7184 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40565760 loops (26001/sec), 22211611640 sampling steps, 40565197 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7186 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40696035 loops (26055/sec), 22282938632 sampling steps, 40695472 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7189 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40826441 loops (26081/sec), 22354363458 sampling steps, 40825878 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7189 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40956677 loops (26047/sec), 22425680446 sampling steps, 40956114 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7189 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41087026 loops (26069/sec), 22497068753 sampling steps, 41086463 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7189 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41217121 loops (26019/sec), 22568306066 sampling steps, 41216558 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7189 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41347122 loops (26000/sec), 22639504236 sampling steps, 41346559 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7189 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41476220 loops (25819/sec), 22710199111 sampling steps, 41475657 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7189 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41605674 loops (25890/sec), 22781075562 sampling steps, 41605110 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7199 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41736065 loops (26078/sec), 22852470358 sampling steps, 41735501 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7199 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41866388 loops (26064/sec), 22923823863 sampling steps, 41865824 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7201 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41996554 loops (26033/sec), 22995091465 sampling steps, 41995990 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7201 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42126894 loops (26068/sec), 23066489316 sampling steps, 42126330 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7201 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42257276 loops (26076/sec), 23137859760 sampling steps, 42256712 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7202 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42387291 loops (26003/sec), 23209053406 sampling steps, 42386727 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7203 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42517423 loops (26026/sec), 23280291991 sampling steps, 42516859 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7211 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42647871 loops (26089/sec), 23351709263 sampling steps, 42647307 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7211 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42778240 loops (26073/sec), 23423095723 sampling steps, 42777676 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7211 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42907967 loops (25945/sec), 23494143454 sampling steps, 42907403 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7211 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43036811 loops (25768/sec), 23564692096 sampling steps, 43036247 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7211 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43166467 loops (25931/sec), 23635701003 sampling steps, 43165903 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7213 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43296722 loops (26051/sec), 23707027889 sampling steps, 43296158 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7213 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43427013 loops (26058/sec), 23778363940 sampling steps, 43426449 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7213 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43557470 loops (26091/sec), 23849791765 sampling steps, 43556906 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7213 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43687739 loops (26053/sec), 23921119211 sampling steps, 43687174 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7223 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43818613 loops (26174/sec), 23992806760 sampling steps, 43818048 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7223 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43949285 loops (26134/sec), 24064368791 sampling steps, 43948720 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7223 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44080043 loops (26151/sec), 24135944436 sampling steps, 44079478 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7223 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44210831 loops (26157/sec), 24207559441 sampling steps, 44210266 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7223 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44341749 loops (26183/sec), 24279240252 sampling steps, 44341184 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7223 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44472318 loops (26113/sec), 24350737097 sampling steps, 44471753 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7223 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44601878 loops (25912/sec), 24421667428 sampling steps, 44601313 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7223 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44732165 loops (26057/sec), 24493011352 sampling steps, 44731600 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7228 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44862596 loops (26086/sec), 24564422540 sampling steps, 44862031 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7228 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44993398 loops (26160/sec), 24636038897 sampling steps, 44992833 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7228 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45123907 loops (26101/sec), 24707508034 sampling steps, 45123342 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7228 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45254682 loops (26155/sec), 24779117314 sampling steps, 45254117 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7228 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45385385 loops (26140/sec), 24850680463 sampling steps, 45384820 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7228 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45516023 loops (26127/sec), 24922203168 sampling steps, 45515458 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7228 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45647062 loops (26207/sec), 24993942402 sampling steps, 45646497 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7228 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45777723 loops (26132/sec), 25065497510 sampling steps, 45777158 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7228 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45908590 loops (26173/sec), 25137189974 sampling steps, 45908025 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7228 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:20:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46038788 loops (26039/sec), 25208501096 sampling steps, 46038223 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7229 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:20:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46168860 loops (26014/sec), 25279714513 sampling steps, 46168295 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7230 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:20:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46299646 loops (26157/sec), 25351334022 sampling steps, 46299081 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7230 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:20:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46431117 loops (26294/sec), 25423297152 sampling steps, 46430552 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7230 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:20:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46562428 loops (26262/sec), 25495186033 sampling steps, 46561863 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7231 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:20:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46694070 loops (26328/sec), 25567280612 sampling steps, 46693505 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7231 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.0053713321686 seconds since the total time limit of 1800.0 seconds was exceeded.