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_TARGET --precision 0.001
Sep 13, 2024 10:50:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
62609 loops (12521/sec), 34188926 sampling steps, 62251 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4035 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
153282 loops (18134/sec), 83831844 sampling steps, 152899 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4418 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
253570 loops (20057/sec), 138734111 sampling steps, 253179 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4557 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
348543 loops (18994/sec), 190738709 sampling steps, 348139 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4711 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
443277 loops (18946/sec), 242606970 sampling steps, 442864 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4829 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
538180 loops (18980/sec), 294576511 sampling steps, 537759 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4955 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
632094 loops (18782/sec), 345991294 sampling steps, 631666 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5052 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
727217 loops (19024/sec), 398075388 sampling steps, 726784 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5125 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
822287 loops (19014/sec), 450131855 sampling steps, 821849 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5194 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
917284 loops (18999/sec), 502140117 sampling steps, 916838 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5282 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1012459 loops (19035/sec), 554241066 sampling steps, 1012013 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5315 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1112408 loops (19989/sec), 608975408 sampling steps, 1111960 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5341 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1211185 loops (19755/sec), 663080297 sampling steps, 1210734 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5378 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1309848 loops (19732/sec), 717101741 sampling steps, 1309395 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5418 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1412545 loops (20539/sec), 773346683 sampling steps, 1412084 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5508 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1507873 loops (19065/sec), 825524529 sampling steps, 1507411 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5533 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1603413 loops (19108/sec), 877839068 sampling steps, 1602950 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5552 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1698973 loops (19112/sec), 930170391 sampling steps, 1698509 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:52:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1793406 loops (18886/sec), 981864825 sampling steps, 1792940 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5593 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1890730 loops (19464/sec), 1035169691 sampling steps, 1890263 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5614 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1986508 loops (19155/sec), 1087595781 sampling steps, 1986041 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5617 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2081797 loops (19057/sec), 1139777684 sampling steps, 2081328 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5647 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2177754 loops (19191/sec), 1192297965 sampling steps, 2177283 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5669 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2272129 loops (18875/sec), 1243987272 sampling steps, 2271655 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5706 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2373473 loops (20268/sec), 1299507086 sampling steps, 2372996 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5741 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2475315 loops (20368/sec), 1355245901 sampling steps, 2474838 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5743 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2578687 loops (20674/sec), 1411834740 sampling steps, 2578209 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5753 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2674605 loops (19183/sec), 1464340942 sampling steps, 2674126 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5766 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2769925 loops (19064/sec), 1516538299 sampling steps, 2769446 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5768 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2865532 loops (19121/sec), 1568899468 sampling steps, 2865053 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5778 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2959985 loops (18890/sec), 1620618030 sampling steps, 2959505 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5796 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3055762 loops (19151/sec), 1673063105 sampling steps, 3055282 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5802 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3151487 loops (19145/sec), 1725479434 sampling steps, 3151007 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5805 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3246812 loops (19065/sec), 1777682182 sampling steps, 3246332 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5805 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3341872 loops (19012/sec), 1829735243 sampling steps, 3341389 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5839 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3437016 loops (19028/sec), 1881828817 sampling steps, 3436533 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5840 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3538267 loops (20250/sec), 1937254019 sampling steps, 3537784 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5855 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3639659 loops (20278/sec), 1992769114 sampling steps, 3639175 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:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3741309 loops (20330/sec), 2048430925 sampling steps, 3740824 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5883 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3838819 loops (19502/sec), 2101826137 sampling steps, 3838333 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5894 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3934243 loops (19084/sec), 2154070056 sampling steps, 3933757 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5895 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4029299 loops (19011/sec), 2206109362 sampling steps, 4028811 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5921 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4123434 loops (18827/sec), 2257651365 sampling steps, 4122944 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5952 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4219081 loops (19129/sec), 2310017519 sampling steps, 4218591 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5954 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4314305 loops (19044/sec), 2362171399 sampling steps, 4313813 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5976 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4409824 loops (19103/sec), 2414486795 sampling steps, 4409332 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5977 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4505167 loops (19068/sec), 2466682291 sampling steps, 4504675 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:54:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4600457 loops (19058/sec), 2518867856 sampling steps, 4599964 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5997 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4700957 loops (20100/sec), 2573897642 sampling steps, 4700464 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5998 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4802111 loops (20230/sec), 2629297997 sampling steps, 4801618 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
5999 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4899758 loops (19529/sec), 2682763463 sampling steps, 4899263 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6039 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5001742 loops (20396/sec), 2738604620 sampling steps, 5001247 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6040 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5097484 loops (19148/sec), 2791020746 sampling steps, 5096988 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:55:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5192693 loops (19041/sec), 2843153565 sampling steps, 5192197 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6073 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5287528 loops (18967/sec), 2895079893 sampling steps, 5287032 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6074 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5383067 loops (19107/sec), 2947414025 sampling steps, 5382571 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6075 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5478898 loops (19166/sec), 2999876016 sampling steps, 5478402 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6075 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5574485 loops (19117/sec), 3052219126 sampling steps, 5573989 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6077 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5669800 loops (19063/sec), 3104405163 sampling steps, 5669304 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6083 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5765664 loops (19172/sec), 3156896863 sampling steps, 5765168 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6083 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5865506 loops (19968/sec), 3211577970 sampling steps, 5865009 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6096 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5962983 loops (19495/sec), 3264949969 sampling steps, 5962486 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6096 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6064721 loops (20347/sec), 3320628892 sampling steps, 6064224 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6097 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6167606 loops (20577/sec), 3376953454 sampling steps, 6167109 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6101 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6263205 loops (19119/sec), 3429314272 sampling steps, 6262708 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6107 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6358562 loops (19071/sec), 3481523254 sampling steps, 6358064 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6117 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6453243 loops (18936/sec), 3533358350 sampling steps, 6452745 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:56:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6548836 loops (19118/sec), 3585707702 sampling steps, 6548337 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6136 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6644190 loops (19070/sec), 3637928778 sampling steps, 6643690 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6147 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6739486 loops (19059/sec), 3690102610 sampling steps, 6738986 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6147 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6834181 loops (18939/sec), 3741945292 sampling steps, 6833679 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6171 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6929539 loops (19071/sec), 3794155727 sampling steps, 6929037 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6172 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7024604 loops (19013/sec), 3846210176 sampling steps, 7024102 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6173 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7125488 loops (20176/sec), 3901453913 sampling steps, 7124986 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6173 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7226191 loops (20140/sec), 3956614053 sampling steps, 7225687 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6194 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7329064 loops (20574/sec), 4012947153 sampling steps, 7328559 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6204 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7424508 loops (19088/sec), 4065203964 sampling steps, 7424002 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6215 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7519352 loops (18968/sec), 4117148018 sampling steps, 7518846 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6216 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7613974 loops (18924/sec), 4168961794 sampling steps, 7613468 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6216 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7709305 loops (19066/sec), 4221159554 sampling steps, 7708799 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6220 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7804744 loops (19087/sec), 4273443215 sampling steps, 7804238 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6223 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7899878 loops (19026/sec), 4325539158 sampling steps, 7899371 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6235 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7994969 loops (19018/sec), 4377613675 sampling steps, 7994462 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6246 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8090596 loops (19125/sec), 4429976842 sampling steps, 8090089 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6246 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8185786 loops (19038/sec), 4482102547 sampling steps, 8185279 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6247 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8286296 loops (20102/sec), 4537150246 sampling steps, 8285789 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6247 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8387183 loops (20177/sec), 4592387138 sampling steps, 8386676 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6247 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8487388 loops (20041/sec), 4647257844 sampling steps, 8486880 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6259 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8585076 loops (19537/sec), 4700759747 sampling steps, 8584568 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6260 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8680065 loops (18997/sec), 4752769803 sampling steps, 8679556 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6270 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8774174 loops (18821/sec), 4804298688 sampling steps, 8773665 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6281 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8869445 loops (19054/sec), 4856464958 sampling steps, 8868936 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6281 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8964650 loops (19041/sec), 4908575463 sampling steps, 8964141 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6281 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9059795 loops (19029/sec), 4960665565 sampling steps, 9059286 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6289 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9154834 loops (19007/sec), 5012709726 sampling steps, 9154325 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6304 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9250200 loops (19073/sec), 5064924602 sampling steps, 9249690 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6322 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9345498 loops (19059/sec), 5117097500 sampling steps, 9344988 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6322 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9445342 loops (19968/sec), 5171757351 sampling steps, 9444832 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6325 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9545323 loops (19996/sec), 5226507516 sampling steps, 9544813 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6328 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9643102 loops (19555/sec), 5280064261 sampling steps, 9642591 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6347 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9743857 loops (20151/sec), 5335273823 sampling steps, 9743344 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6367 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9838481 loops (18924/sec), 5387093535 sampling steps, 9837967 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6377 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9932831 loops (18870/sec), 5438749889 sampling steps, 9932316 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6388 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10027820 loops (18997/sec), 5490757245 sampling steps, 10027305 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6389 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10123678 loops (19171/sec), 5543239981 sampling steps, 10123163 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6389 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10218694 loops (19003/sec), 5595252139 sampling steps, 10218178 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6402 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10313757 loops (19012/sec), 5647314940 sampling steps, 10313241 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6403 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10408822 loops (19013/sec), 5699361171 sampling steps, 10408306 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:59:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10504043 loops (19044/sec), 5751468750 sampling steps, 10503527 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:59:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10602871 loops (19765/sec), 5805571721 sampling steps, 10602354 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:59:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10700340 loops (19493/sec), 5858935575 sampling steps, 10699823 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:59:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10801637 loops (20259/sec), 5914395967 sampling steps, 10801120 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6419 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10903979 loops (20468/sec), 5970440693 sampling steps, 10903461 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6429 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10999208 loops (19045/sec), 6022566127 sampling steps, 10998690 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6429 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11093386 loops (18835/sec), 6074133790 sampling steps, 11092868 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6439 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11188528 loops (19028/sec), 6126242766 sampling steps, 11188010 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 11:00:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11283957 loops (19085/sec), 6178505595 sampling steps, 11283439 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6452 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11379114 loops (19031/sec), 6230620209 sampling steps, 11378596 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6452 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11474899 loops (19157/sec), 6283068850 sampling steps, 11474381 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6452 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11569717 loops (18963/sec), 6335002500 sampling steps, 11569199 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6453 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11664956 loops (19047/sec), 6387152255 sampling steps, 11664438 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6454 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11760068 loops (19022/sec), 6439238099 sampling steps, 11759550 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6455 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11861292 loops (20244/sec), 6494667877 sampling steps, 11860774 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6456 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11962503 loops (20242/sec), 6550083012 sampling steps, 11961985 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6456 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12065343 loops (20568/sec), 6606402178 sampling steps, 12064825 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6456 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12160727 loops (19076/sec), 6658621420 sampling steps, 12160209 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6456 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12254896 loops (18833/sec), 6710208848 sampling steps, 12254378 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6456 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12350340 loops (19088/sec), 6762461392 sampling steps, 12349822 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6456 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12445703 loops (19072/sec), 6814686878 sampling steps, 12445185 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6456 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12540676 loops (18994/sec), 6866671372 sampling steps, 12540158 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6456 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12636176 loops (19100/sec), 6918960501 sampling steps, 12635658 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6456 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12731510 loops (19066/sec), 6971181765 sampling steps, 12730992 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6456 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12826726 loops (19043/sec), 7023330056 sampling steps, 12826206 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6476 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12921548 loops (18964/sec), 7075267107 sampling steps, 12921028 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6476 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13021937 loops (20077/sec), 7130237323 sampling steps, 13021417 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6477 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13122964 loops (20205/sec), 7185567738 sampling steps, 13122443 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6492 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13223429 loops (20093/sec), 7240573515 sampling steps, 13222908 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6495 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13321070 loops (19528/sec), 7294051158 sampling steps, 13320549 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6495 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13415224 loops (18830/sec), 7345611058 sampling steps, 13414703 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6495 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13510623 loops (19079/sec), 7397830482 sampling steps, 13510102 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6495 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13605937 loops (19062/sec), 7450015875 sampling steps, 13605416 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6496 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13700974 loops (19007/sec), 7502043831 sampling steps, 13700453 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6498 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13795982 loops (19001/sec), 7554061471 sampling steps, 13795461 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6504 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13891086 loops (19020/sec), 7606131532 sampling steps, 13890564 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6516 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13986151 loops (19013/sec), 7658175549 sampling steps, 13985629 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6516 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14081098 loops (18989/sec), 7710175546 sampling steps, 14080575 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6526 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14181240 loops (20028/sec), 7765007774 sampling steps, 14180717 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6527 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14281970 loops (20146/sec), 7820170117 sampling steps, 14281447 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6527 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14378691 loops (19344/sec), 7873125129 sampling steps, 14378168 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 11:03:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14480681 loops (20398/sec), 7928968986 sampling steps, 14480157 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6541 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14574708 loops (18805/sec), 7980450429 sampling steps, 14574184 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6544 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14670027 loops (19063/sec), 8032627456 sampling steps, 14669502 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6555 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14765034 loops (19001/sec), 8084641464 sampling steps, 14764508 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6566 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14860302 loops (19053/sec), 8136802928 sampling steps, 14859775 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6576 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14955055 loops (18950/sec), 8188694887 sampling steps, 14954527 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 11:03:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15050276 loops (19044/sec), 8240847851 sampling steps, 15049746 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 11:03:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15145048 loops (18954/sec), 8292757763 sampling steps, 15144517 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6616 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15240486 loops (19087/sec), 8345022911 sampling steps, 15239955 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6616 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15340070 loops (19916/sec), 8399539820 sampling steps, 15339539 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6616 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15437481 loops (19482/sec), 8452902684 sampling steps, 15436950 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6617 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15538169 loops (20137/sec), 8508037661 sampling steps, 15537638 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6617 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15639960 loops (20358/sec), 8563749478 sampling steps, 15639429 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6628 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15734582 loops (18924/sec), 8615564778 sampling steps, 15734051 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6631 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15829768 loops (19037/sec), 8667691925 sampling steps, 15829237 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6631 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15925005 loops (19047/sec), 8719861153 sampling steps, 15924474 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6631 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16020202 loops (19039/sec), 8772019314 sampling steps, 16019670 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6642 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16115428 loops (19045/sec), 8824160353 sampling steps, 16114896 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6642 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16210603 loops (19035/sec), 8876292558 sampling steps, 16210071 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6646 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16305375 loops (18954/sec), 8928188439 sampling steps, 16304843 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6650 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16400620 loops (19049/sec), 8980351298 sampling steps, 16400088 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6650 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16495525 loops (18981/sec), 9032315043 sampling steps, 16494993 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6650 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16596961 loops (20287/sec), 9087858900 sampling steps, 16596429 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6650 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16697939 loops (20195/sec), 9143157506 sampling steps, 16697407 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6650 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16800440 loops (20500/sec), 9199246275 sampling steps, 16799908 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6650 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16896120 loops (19136/sec), 9251655189 sampling steps, 16895588 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:05:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16991359 loops (19047/sec), 9303807729 sampling steps, 16990827 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:05:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17086508 loops (19029/sec), 9355911521 sampling steps, 17085976 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:05:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17181406 loops (18979/sec), 9407878617 sampling steps, 17180873 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6670 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17276637 loops (19046/sec), 9460025311 sampling steps, 17276102 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6690 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17372037 loops (19080/sec), 9512251080 sampling steps, 17371502 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6690 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17466796 loops (18951/sec), 9564123760 sampling steps, 17466260 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6708 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17561982 loops (19037/sec), 9616245209 sampling steps, 17561446 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6709 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17656926 loops (18988/sec), 9668216742 sampling steps, 17656390 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6709 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17757768 loops (20168/sec), 9723440204 sampling steps, 17757231 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6719 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17858802 loops (20206/sec), 9778746421 sampling steps, 17858264 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6729 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17960823 loops (20404/sec), 9834615006 sampling steps, 17960285 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6730 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18056554 loops (19146/sec), 9887038515 sampling steps, 18056016 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6730 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18151517 loops (18992/sec), 9939048287 sampling steps, 18150978 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6743 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18246370 loops (18970/sec), 9990996099 sampling steps, 18245830 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6753 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18341658 loops (19057/sec), 10043174140 sampling steps, 18341118 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6753 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18436986 loops (19065/sec), 10095369606 sampling steps, 18436446 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6753 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18532158 loops (19034/sec), 10147483903 sampling steps, 18531617 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6763 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18627500 loops (19068/sec), 10199678844 sampling steps, 18626959 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6763 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18722673 loops (19034/sec), 10251812809 sampling steps, 18722132 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6764 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18817531 loops (18971/sec), 10303768260 sampling steps, 18816990 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6765 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18917939 loops (20081/sec), 10358743262 sampling steps, 18917398 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6768 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19018695 loops (20151/sec), 10413912237 sampling steps, 19018154 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6769 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19118648 loops (19990/sec), 10468636609 sampling steps, 19118107 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6770 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19216223 loops (19515/sec), 10522052815 sampling steps, 19215682 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6770 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19311194 loops (18994/sec), 10574061703 sampling steps, 19310653 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6770 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19406214 loops (19004/sec), 10626085762 sampling steps, 19405673 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:07:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19501499 loops (19057/sec), 10678251941 sampling steps, 19500958 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6772 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19596504 loops (19001/sec), 10730255008 sampling steps, 19595963 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6772 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19691817 loops (19062/sec), 10782462099 sampling steps, 19691276 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6772 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19786772 loops (18991/sec), 10834448948 sampling steps, 19786231 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6772 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19882015 loops (19048/sec), 10886614652 sampling steps, 19881474 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6772 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19977103 loops (19017/sec), 10938671737 sampling steps, 19976562 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6772 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20076717 loops (19922/sec), 10993222164 sampling steps, 20076176 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6773 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20177112 loops (20079/sec), 11048183718 sampling steps, 20176571 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6774 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20273743 loops (19326/sec), 11101082051 sampling steps, 20273202 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:08:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20374640 loops (20179/sec), 11156320806 sampling steps, 20374099 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6784 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20469302 loops (18932/sec), 11208170055 sampling steps, 20468761 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6791 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20564794 loops (19098/sec), 11260446579 sampling steps, 20564253 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6791 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20660104 loops (19062/sec), 11312628186 sampling steps, 20659563 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6791 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20755543 loops (19087/sec), 11364875356 sampling steps, 20755002 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6791 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20850562 loops (19003/sec), 11416912557 sampling steps, 20850020 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6801 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20945925 loops (19072/sec), 11469136427 sampling steps, 20945383 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6801 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21040981 loops (19011/sec), 11521182652 sampling steps, 21040439 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6804 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21135681 loops (18940/sec), 11573042360 sampling steps, 21135139 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6804 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21234009 loops (19665/sec), 11626871874 sampling steps, 21233467 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6806 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21331923 loops (19582/sec), 11680479700 sampling steps, 21331381 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6808 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21433004 loops (20216/sec), 11735822107 sampling steps, 21432462 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6808 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21534575 loops (20314/sec), 11791415413 sampling steps, 21534033 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6809 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21629490 loops (18983/sec), 11843380548 sampling steps, 21628948 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6812 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21724645 loops (19031/sec), 11895486961 sampling steps, 21724103 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6812 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21819786 loops (19028/sec), 11947591704 sampling steps, 21819244 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6812 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21915198 loops (19082/sec), 11999835903 sampling steps, 21914656 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6812 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22010352 loops (19030/sec), 12051949484 sampling steps, 22009810 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6812 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22105775 loops (19084/sec), 12104207463 sampling steps, 22105233 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6813 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22200824 loops (19009/sec), 12156256699 sampling steps, 22200282 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6813 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22295988 loops (19032/sec), 12208360530 sampling steps, 22295446 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6813 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22391011 loops (19004/sec), 12260384487 sampling steps, 22390469 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:10:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22491600 loops (20117/sec), 12315476036 sampling steps, 22491058 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:10:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22592609 loops (20201/sec), 12370779470 sampling steps, 22592067 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:10:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22694336 loops (20345/sec), 12426463048 sampling steps, 22693794 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:10:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22789555 loops (19043/sec), 12478585851 sampling steps, 22789012 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:10:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22884645 loops (19018/sec), 12530649052 sampling steps, 22884102 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:10:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22980065 loops (19084/sec), 12582885495 sampling steps, 22979522 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:10:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23075568 loops (19100/sec), 12635193998 sampling steps, 23075025 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:10:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23170477 loops (18981/sec), 12687170529 sampling steps, 23169934 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:10:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23265812 loops (19067/sec), 12739359605 sampling steps, 23265269 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:10:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23360886 loops (19014/sec), 12791419002 sampling steps, 23360343 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:10:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23456049 loops (19032/sec), 12843528198 sampling steps, 23455506 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:10:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23551066 loops (19003/sec), 12895566822 sampling steps, 23550523 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:11:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23651476 loops (20082/sec), 12950555143 sampling steps, 23650933 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:11:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23752148 loops (20134/sec), 13005679024 sampling steps, 23751605 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:11:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23851860 loops (19942/sec), 13060273265 sampling steps, 23851317 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:11:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23949555 loops (19539/sec), 13113777170 sampling steps, 23949012 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:11:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24044589 loops (19006/sec), 13165812298 sampling steps, 24044046 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:11:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24139697 loops (19021/sec), 13217881395 sampling steps, 24139154 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6827 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24234812 loops (19023/sec), 13269953000 sampling steps, 24234269 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6827 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24330005 loops (19038/sec), 13322077509 sampling steps, 24329462 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6827 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24425309 loops (19060/sec), 13374270917 sampling steps, 24424766 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6829 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24520746 loops (19087/sec), 13426516625 sampling steps, 24520203 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6829 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24617128 loops (19276/sec), 13479289230 sampling steps, 24616585 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6833 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24712189 loops (19012/sec), 13531352553 sampling steps, 24711646 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6833 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24812153 loops (19992/sec), 13586080662 sampling steps, 24811610 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6833 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24911724 loops (19914/sec), 13640599151 sampling steps, 24911181 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6844 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25008826 loops (19420/sec), 13693769116 sampling steps, 25008283 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6845 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25126975 loops (23629/sec), 13758463437 sampling steps, 25126432 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6853 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25247480 loops (24101/sec), 13824453249 sampling steps, 25246937 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:12:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25367771 loops (24058/sec), 13890298033 sampling steps, 25367228 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:12:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25476130 loops (21671/sec), 13949624711 sampling steps, 25475587 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6855 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25571321 loops (19038/sec), 14001761661 sampling steps, 25570778 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6863 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25666382 loops (19012/sec), 14053817154 sampling steps, 25665838 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6877 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25761628 loops (19049/sec), 14105980469 sampling steps, 25761084 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6878 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25856831 loops (19040/sec), 14158120406 sampling steps, 25856287 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6878 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25951988 loops (19031/sec), 14210220765 sampling steps, 25951444 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6878 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26047515 loops (19105/sec), 14262539184 sampling steps, 26046971 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6878 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26142571 loops (19011/sec), 14314580589 sampling steps, 26142027 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6878 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26236993 loops (18884/sec), 14366274896 sampling steps, 26236449 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6879 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26332025 loops (19006/sec), 14418285207 sampling steps, 26331481 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6879 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26432149 loops (20024/sec), 14473094833 sampling steps, 26431605 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6891 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26533110 loops (20192/sec), 14528386776 sampling steps, 26532566 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6891 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26635646 loops (20507/sec), 14584523700 sampling steps, 26635102 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6891 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26730760 loops (19022/sec), 14636621435 sampling steps, 26730216 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6893 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26826139 loops (19075/sec), 14688860699 sampling steps, 26825595 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6893 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26921425 loops (19057/sec), 14741027617 sampling steps, 26920881 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6893 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27016578 loops (19030/sec), 14793123257 sampling steps, 27016034 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6894 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27111690 loops (19022/sec), 14845201319 sampling steps, 27111146 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6894 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27207032 loops (19068/sec), 14897428828 sampling steps, 27206488 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:14:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27301812 loops (18956/sec), 14949319082 sampling steps, 27301268 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:14:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27396180 loops (18873/sec), 15000971701 sampling steps, 27395636 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6902 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27491123 loops (18988/sec), 15052949512 sampling steps, 27490579 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6902 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27591242 loops (20023/sec), 15107754060 sampling steps, 27590697 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6912 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27692099 loops (20171/sec), 15162964040 sampling steps, 27691554 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:14:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27793707 loops (20321/sec), 15218616720 sampling steps, 27793162 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:14:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27890421 loops (19342/sec), 15271574471 sampling steps, 27889876 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:14:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27985629 loops (19041/sec), 15323699204 sampling steps, 27985084 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6918 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28081092 loops (19092/sec), 15375967084 sampling steps, 28080547 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6918 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28176032 loops (18988/sec), 15427962625 sampling steps, 28175487 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6918 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28271525 loops (19098/sec), 15480236433 sampling steps, 28270980 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6918 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28366645 loops (19024/sec), 15532319301 sampling steps, 28366100 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6918 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28461672 loops (19005/sec), 15584340646 sampling steps, 28461127 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6918 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28555771 loops (18819/sec), 15635883297 sampling steps, 28555226 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:15:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28650815 loops (19008/sec), 15687916514 sampling steps, 28650270 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:15:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28750796 loops (19992/sec), 15742661139 sampling steps, 28750251 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:15:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28851730 loops (20186/sec), 15797913679 sampling steps, 28851185 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6920 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28948905 loops (19435/sec), 15851123537 sampling steps, 28948360 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6920 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29051222 loops (20463/sec), 15907136225 sampling steps, 29050677 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6920 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29146524 loops (19060/sec), 15959325259 sampling steps, 29145979 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6920 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29241858 loops (19066/sec), 16011525190 sampling steps, 29241313 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6920 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29337033 loops (19035/sec), 16063629278 sampling steps, 29336488 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6920 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29432464 loops (19086/sec), 16115876500 sampling steps, 29431919 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6920 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29527731 loops (19053/sec), 16168029025 sampling steps, 29527186 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6921 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29622812 loops (19016/sec), 16220075849 sampling steps, 29622267 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6921 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29716818 loops (18801/sec), 16271537740 sampling steps, 29716272 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:16:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29812214 loops (19079/sec), 16323770879 sampling steps, 29811668 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:16:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29911474 loops (19852/sec), 16378110150 sampling steps, 29910928 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:16:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30008581 loops (19421/sec), 16431292217 sampling steps, 30008035 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6933 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30109649 loops (20213/sec), 16486619182 sampling steps, 30109103 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6933 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30212180 loops (20506/sec), 16542775852 sampling steps, 30211634 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6933 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30307364 loops (19036/sec), 16594897783 sampling steps, 30306818 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6933 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30402618 loops (19050/sec), 16647041677 sampling steps, 30402072 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6934 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30497878 loops (19052/sec), 16699210381 sampling steps, 30497332 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6934 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30593273 loops (19079/sec), 16751427171 sampling steps, 30592727 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6934 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30688354 loops (19016/sec), 16803480162 sampling steps, 30687808 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6934 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30783690 loops (19067/sec), 16855665193 sampling steps, 30783144 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6934 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30878131 loops (18888/sec), 16907348704 sampling steps, 30877585 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6934 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30973271 loops (19028/sec), 16959440612 sampling steps, 30972725 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6935 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31068526 loops (19051/sec), 17011604392 sampling steps, 31067980 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6935 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31169125 loops (20119/sec), 17066679465 sampling steps, 31168579 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6940 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31270298 loops (20234/sec), 17122071511 sampling steps, 31269752 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6940 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31372812 loops (20502/sec), 17178183149 sampling steps, 31372266 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6941 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31468069 loops (19051/sec), 17230329458 sampling steps, 31467523 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6944 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31563376 loops (19061/sec), 17282523157 sampling steps, 31562830 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6945 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31658700 loops (19064/sec), 17334722352 sampling steps, 31658154 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6945 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31754088 loops (19077/sec), 17386947725 sampling steps, 31753542 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6945 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31849175 loops (19017/sec), 17439002921 sampling steps, 31848629 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6945 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31944546 loops (19074/sec), 17491223105 sampling steps, 31944000 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6945 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32038524 loops (18795/sec), 17542690822 sampling steps, 32037978 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6945 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32133652 loops (19025/sec), 17594774739 sampling steps, 32133106 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6945 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32228565 loops (18982/sec), 17646744731 sampling steps, 32228018 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6955 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32329094 loops (20105/sec), 17701791064 sampling steps, 32328547 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:18:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32430930 loops (20367/sec), 17757545850 sampling steps, 32430383 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:18:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32531164 loops (20046/sec), 17812436358 sampling steps, 32530617 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6961 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32628402 loops (19447/sec), 17865681506 sampling steps, 32627855 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6961 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32723532 loops (19026/sec), 17917790694 sampling steps, 32722985 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6961 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32818672 loops (19028/sec), 17969895469 sampling steps, 32818125 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6961 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32913810 loops (19027/sec), 18021992528 sampling steps, 32913262 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6971 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33009205 loops (19079/sec), 18074212174 sampling steps, 33008657 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6971 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33104105 loops (18980/sec), 18126175909 sampling steps, 33103556 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6981 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33198375 loops (18854/sec), 18177798459 sampling steps, 33197826 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6984 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33293369 loops (18998/sec), 18229820166 sampling steps, 33292820 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:19:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33388323 loops (18990/sec), 18281825461 sampling steps, 33387774 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6991 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33488258 loops (19987/sec), 18336548159 sampling steps, 33487709 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
6991 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33588852 loops (20118/sec), 18391618984 sampling steps, 33588302 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7001 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33686235 loops (19476/sec), 18444941525 sampling steps, 33685685 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7001 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33788167 loops (20386/sec), 18500742769 sampling steps, 33787617 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7001 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33883203 loops (19007/sec), 18552781987 sampling steps, 33882653 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7001 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33978488 loops (19057/sec), 18604959592 sampling steps, 33977938 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7001 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34073604 loops (19023/sec), 18657026572 sampling steps, 34073054 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7001 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:20:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34168770 loops (19033/sec), 18709143996 sampling steps, 34168220 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7002 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:20:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34263616 loops (18969/sec), 18761064641 sampling steps, 34263066 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7002 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:20:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34358122 loops (18901/sec), 18812833529 sampling steps, 34357572 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
7002 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:20:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34453179 loops (19011/sec), 18864878568 sampling steps, 34452629 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:20:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34548257 loops (19015/sec), 18916918209 sampling steps, 34547707 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:20:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34647580 loops (19864/sec), 18971307865 sampling steps, 34647030 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:20:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34744992 loops (19482/sec), 19024665257 sampling steps, 34744442 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
----------
Computation aborted after 1800.0044124126434 seconds since the total time limit of 1800.0 seconds was exceeded.