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=255 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:50:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
160392 loops (32078/sec), 46701310 sampling steps, 160188 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2686 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
329753 loops (33872/sec), 96042791 sampling steps, 329540 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2830 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
499089 loops (33867/sec), 145372129 sampling steps, 498870 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2935 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
667058 loops (33593/sec), 194320811 sampling steps, 666831 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3059 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:50:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
834020 loops (33392/sec), 242955588 sampling steps, 833786 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3174 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1002900 loops (33776/sec), 292149446 sampling steps, 1002661 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3254 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1172097 loops (33839/sec), 341404527 sampling steps, 1171856 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3311 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1342395 loops (34059/sec), 391029804 sampling steps, 1342153 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3345 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1512493 loops (34019/sec), 440586511 sampling steps, 1512247 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3403 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1682579 loops (34017/sec), 490129248 sampling steps, 1682331 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3436 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
1853627 loops (34209/sec), 539922168 sampling steps, 1853378 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3456 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2024692 loops (34213/sec), 589731483 sampling steps, 2024442 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3477 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2194361 loops (33933/sec), 639159315 sampling steps, 2194109 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3505 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2363705 loops (33868/sec), 688471943 sampling steps, 2363452 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3528 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2534388 loops (34136/sec), 738186743 sampling steps, 2534135 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3543 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2705139 loops (34150/sec), 787934145 sampling steps, 2704885 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3565 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:51:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2875763 loops (34117/sec), 837630496 sampling steps, 2875507 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3598 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3046030 loops (34053/sec), 887216383 sampling steps, 3045774 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3611 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3214623 loops (33718/sec), 936336618 sampling steps, 3214366 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3628 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3384064 loops (33888/sec), 985710229 sampling steps, 3383806 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3644 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3553708 loops (33928/sec), 1035103275 sampling steps, 3553449 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3662 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3724491 loops (34156/sec), 1084863855 sampling steps, 3724232 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3667 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3895040 loops (34109/sec), 1134522487 sampling steps, 3894778 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3699 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4065486 loops (34089/sec), 1184152813 sampling steps, 4065224 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3719 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4236103 loops (34123/sec), 1233822556 sampling steps, 4235841 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3726 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4406292 loops (34037/sec), 1283425417 sampling steps, 4406030 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3741 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4577148 loops (34171/sec), 1333192764 sampling steps, 4576885 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3755 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4748799 loops (34330/sec), 1383178051 sampling steps, 4748535 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3768 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:52:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
4920877 loops (34415/sec), 1433293625 sampling steps, 4920613 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3780 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5091120 loops (34048/sec), 1482863660 sampling steps, 5090854 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3809 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5261743 loops (34124/sec), 1532540163 sampling steps, 5261477 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3812 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5432389 loops (34129/sec), 1582234436 sampling steps, 5432122 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3829 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5603402 loops (34202/sec), 1632057923 sampling steps, 5603135 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3832 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5774449 loops (34209/sec), 1681871458 sampling steps, 5774182 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3836 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5945165 loops (34143/sec), 1731560675 sampling steps, 5944897 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3854 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6115667 loops (34100/sec), 1781206182 sampling steps, 6115398 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3870 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6286661 loops (34198/sec), 1830985882 sampling steps, 6286390 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3899 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6458057 loops (34279/sec), 1880924797 sampling steps, 6457786 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3914 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6629047 loops (34198/sec), 1930754239 sampling steps, 6628775 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3934 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6799755 loops (34141/sec), 1980467012 sampling steps, 6799482 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3944 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:53:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6970805 loops (34210/sec), 2030301239 sampling steps, 6970532 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3956 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7140812 loops (34001/sec), 2079803360 sampling steps, 7140538 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3970 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7310004 loops (33838/sec), 2129062493 sampling steps, 7309730 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3971 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7479804 loops (33960/sec), 2178516181 sampling steps, 7479529 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3983 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7650461 loops (34131/sec), 2228225042 sampling steps, 7650186 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3989 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7820664 loops (34040/sec), 2277781217 sampling steps, 7820388 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4002 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7990993 loops (34065/sec), 2327405908 sampling steps, 7990717 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4008 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8161311 loops (34063/sec), 2377000548 sampling steps, 8161035 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4025 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8332463 loops (34230/sec), 2426821265 sampling steps, 8332187 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4026 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8503521 loops (34211/sec), 2476626447 sampling steps, 8503245 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4027 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8674156 loops (34127/sec), 2526345193 sampling steps, 8673880 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4034 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8845397 loops (34248/sec), 2576177689 sampling steps, 8845121 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4045 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:54:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9016513 loops (34223/sec), 2626001965 sampling steps, 9016237 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4048 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9187213 loops (34140/sec), 2675731585 sampling steps, 9186937 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4050 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9356842 loops (33925/sec), 2725141056 sampling steps, 9356566 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4050 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9527417 loops (34115/sec), 2774821575 sampling steps, 9527141 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4050 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9698689 loops (34254/sec), 2824721031 sampling steps, 9698413 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4051 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9869667 loops (34195/sec), 2874504419 sampling steps, 9869391 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4058 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10040657 loops (34198/sec), 2924302595 sampling steps, 10040380 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4071 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10211458 loops (34160/sec), 2974022855 sampling steps, 10211181 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4077 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10381686 loops (34045/sec), 3023610097 sampling steps, 10381408 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4087 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10551896 loops (34042/sec), 3073168134 sampling steps, 10551618 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4088 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10722874 loops (34195/sec), 3122968430 sampling steps, 10722596 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4092 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10904708 loops (36366/sec), 3175934682 sampling steps, 10904429 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4103 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:55:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11146426 loops (48343/sec), 3246315783 sampling steps, 11146145 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4124 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11387523 loops (48219/sec), 3316522104 sampling steps, 11387241 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4136 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11626908 loops (47877/sec), 3386248208 sampling steps, 11626626 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4141 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11868076 loops (48233/sec), 3456485601 sampling steps, 11867793 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4152 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12110276 loops (48440/sec), 3527049916 sampling steps, 12109993 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4157 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12352681 loops (48481/sec), 3597650523 sampling steps, 12352398 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4157 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12594766 loops (48417/sec), 3668157682 sampling steps, 12594483 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4159 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12835676 loops (48182/sec), 3738342947 sampling steps, 12835393 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4159 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13077878 loops (48440/sec), 3808867081 sampling steps, 13077595 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4161 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13319407 loops (48305/sec), 3879231707 sampling steps, 13319124 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4170 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13561154 loops (48349/sec), 3949664342 sampling steps, 13560871 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4177 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13802731 loops (48315/sec), 4020053548 sampling steps, 13802447 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4195 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:56:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14044629 loops (48379/sec), 4090510246 sampling steps, 14044345 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4200 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14285202 loops (48114/sec), 4160615747 sampling steps, 14284917 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4212 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14524330 loops (47825/sec), 4230274072 sampling steps, 14524045 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4212 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14764085 loops (47951/sec), 4300096907 sampling steps, 14763800 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4216 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15006238 loops (48430/sec), 4370620922 sampling steps, 15005953 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4216 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15247740 loops (48300/sec), 4440978582 sampling steps, 15247455 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4225 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15489202 loops (48292/sec), 4511305938 sampling steps, 15488917 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4238 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15731388 loops (48437/sec), 4581858433 sampling steps, 15731103 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4241 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15973016 loops (48325/sec), 4652212257 sampling steps, 15972730 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4252 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16214039 loops (48204/sec), 4722408302 sampling steps, 16213752 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4263 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16455035 loops (48199/sec), 4792602435 sampling steps, 16454748 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4263 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16696244 loops (48241/sec), 4862859665 sampling steps, 16695957 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4263 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:57:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16938198 loops (48390/sec), 4933328388 sampling steps, 16937911 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4264 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17179613 loops (48283/sec), 5003641473 sampling steps, 17179325 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4275 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17418948 loops (47867/sec), 5073351496 sampling steps, 17418660 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4277 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17660045 loops (48219/sec), 5143590290 sampling steps, 17659757 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4278 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17901444 loops (48279/sec), 5213900548 sampling steps, 17901156 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4278 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18143606 loops (48432/sec), 5284417203 sampling steps, 18143318 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4278 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18384684 loops (48215/sec), 5354635560 sampling steps, 18384396 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4281 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18625451 loops (48153/sec), 5424754857 sampling steps, 18625163 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4284 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18866986 loops (48307/sec), 5495083560 sampling steps, 18866698 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4288 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19108241 loops (48251/sec), 5565387522 sampling steps, 19107953 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4293 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19350145 loops (48380/sec), 5635872826 sampling steps, 19349857 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4294 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19591677 loops (48306/sec), 5706214671 sampling steps, 19591389 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4295 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:58:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19834072 loops (48479/sec), 5776790611 sampling steps, 19833784 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4296 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20075506 loops (48286/sec), 5847096540 sampling steps, 20075218 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4300 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20314428 loops (47784/sec), 5916666914 sampling steps, 20314140 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4300 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20554911 loops (48096/sec), 5986696666 sampling steps, 20554623 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4300 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20796676 loops (48353/sec), 6057139266 sampling steps, 20796388 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4303 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21037795 loops (48223/sec), 6127362618 sampling steps, 21037507 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4303 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21279072 loops (48255/sec), 6197628509 sampling steps, 21278784 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4305 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21520010 loops (48187/sec), 6267818281 sampling steps, 21519722 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4305 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21760780 loops (48154/sec), 6337955096 sampling steps, 21760492 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4308 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22002254 loops (48294/sec), 6408263552 sampling steps, 22001966 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4308 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22243637 loops (48276/sec), 6478579404 sampling steps, 22243349 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4314 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22484344 loops (48141/sec), 6548664864 sampling steps, 22484055 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4325 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:59:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22726214 loops (48374/sec), 6619103998 sampling steps, 22725924 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4342 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22967143 loops (48185/sec), 6689291389 sampling steps, 22966853 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4351 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23205942 loops (47759/sec), 6758851735 sampling steps, 23205652 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4357 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23447251 loops (48261/sec), 6829137857 sampling steps, 23446961 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4357 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23689624 loops (48474/sec), 6899736058 sampling steps, 23689334 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4358 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23930620 loops (48199/sec), 6969921507 sampling steps, 23930328 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4381 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24171992 loops (48274/sec), 7040230105 sampling steps, 24171700 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4383 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24413620 loops (48325/sec), 7110601357 sampling steps, 24413327 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4395 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24655230 loops (48322/sec), 7180965588 sampling steps, 24654937 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4395 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24897334 loops (48420/sec), 7251505563 sampling steps, 24897041 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4402 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25139452 loops (48423/sec), 7322051415 sampling steps, 25139159 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4402 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25381675 loops (48444/sec), 7392584510 sampling steps, 25381382 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4403 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:00:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25623289 loops (48322/sec), 7462937360 sampling steps, 25622996 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4413 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25864344 loops (48211/sec), 7533149594 sampling steps, 25864051 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4413 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26103513 loops (47833/sec), 7602785821 sampling steps, 26103220 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4413 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26343975 loops (48092/sec), 7672838142 sampling steps, 26343682 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4413 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26584911 loops (48187/sec), 7743027362 sampling steps, 26584618 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4414 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26826147 loops (48247/sec), 7813265423 sampling steps, 26825854 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4415 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27066899 loops (48150/sec), 7883379163 sampling steps, 27066606 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4415 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27307720 loops (48164/sec), 7953487333 sampling steps, 27307427 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4415 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27549162 loops (48288/sec), 8023828249 sampling steps, 27548869 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4415 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27791175 loops (48402/sec), 8094314952 sampling steps, 27790882 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4415 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28031566 loops (48078/sec), 8164360677 sampling steps, 28031273 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4417 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28271694 loops (48025/sec), 8234291216 sampling steps, 28271400 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4428 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:01:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28513524 loops (48366/sec), 8304728876 sampling steps, 28513230 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4432 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28753786 loops (48052/sec), 8374727917 sampling steps, 28753492 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4446 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28991724 loops (47587/sec), 8443997004 sampling steps, 28991430 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4446 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29232252 loops (48105/sec), 8514059389 sampling steps, 29231958 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4447 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29473320 loops (48213/sec), 8584269839 sampling steps, 29473026 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4461 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29713743 loops (48084/sec), 8654290554 sampling steps, 29713449 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4468 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29954975 loops (48246/sec), 8724591479 sampling steps, 29954680 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4479 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30196349 loops (48274/sec), 8794870177 sampling steps, 30196054 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4479 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30439010 loops (48532/sec), 8865544121 sampling steps, 30438715 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4479 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30680725 loops (48343/sec), 8935931128 sampling steps, 30680430 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4479 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30922600 loops (48375/sec), 9006387570 sampling steps, 30922305 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4479 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31163690 loops (48218/sec), 9076571959 sampling steps, 31163395 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4481 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:02:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31404357 loops (48133/sec), 9146668727 sampling steps, 31404062 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4482 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31644936 loops (48115/sec), 9216768972 sampling steps, 31644641 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4483 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31883868 loops (47786/sec), 9286370630 sampling steps, 31883573 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4486 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32124557 loops (48137/sec), 9356465921 sampling steps, 32124262 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4486 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32366228 loops (48334/sec), 9426832271 sampling steps, 32365933 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4487 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32607131 loops (48180/sec), 9496959143 sampling steps, 32606835 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4497 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32848550 loops (48283/sec), 9567280049 sampling steps, 32848254 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4498 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33089513 loops (48192/sec), 9637434828 sampling steps, 33089217 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4498 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33330371 loops (48171/sec), 9707569680 sampling steps, 33330075 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4498 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33570086 loops (47943/sec), 9777433701 sampling steps, 33569790 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4503 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33811029 loops (48188/sec), 9847596710 sampling steps, 33810733 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4510 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34052225 loops (48239/sec), 9917874768 sampling steps, 34051929 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4510 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34292969 loops (48148/sec), 9988002046 sampling steps, 34292673 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4511 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34533872 loops (48180/sec), 10058176084 sampling steps, 34533576 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4511 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34772169 loops (47659/sec), 10127608750 sampling steps, 34771873 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4513 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35013510 loops (48268/sec), 10197902444 sampling steps, 35013214 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4513 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35255490 loops (48396/sec), 10268386422 sampling steps, 35255194 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4517 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35497546 loops (48411/sec), 10338842998 sampling steps, 35497250 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4525 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35738088 loops (48108/sec), 10408886054 sampling steps, 35737792 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4525 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35979707 loops (48323/sec), 10479239539 sampling steps, 35979411 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4525 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36221382 loops (48335/sec), 10549609235 sampling steps, 36221086 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4527 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36463677 loops (48459/sec), 10620174672 sampling steps, 36463381 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4527 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36704673 loops (48199/sec), 10690353766 sampling steps, 36704377 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4527 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36945605 loops (48186/sec), 10760538555 sampling steps, 36945309 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4528 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:04:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37187902 loops (48459/sec), 10831107598 sampling steps, 37187606 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4528 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37429057 loops (48231/sec), 10901364428 sampling steps, 37428761 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4529 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37668050 loops (47798/sec), 10970957096 sampling steps, 37667754 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4529 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37909122 loops (48214/sec), 11041146235 sampling steps, 37908826 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4530 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38150899 loops (48355/sec), 11111535912 sampling steps, 38150603 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4531 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38392027 loops (48225/sec), 11181772883 sampling steps, 38391731 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4543 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38634055 loops (48405/sec), 11252237791 sampling steps, 38633759 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4543 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38876383 loops (48465/sec), 11322802461 sampling steps, 38876087 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4547 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39118013 loops (48326/sec), 11393202930 sampling steps, 39117717 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4547 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39360147 loops (48426/sec), 11463730870 sampling steps, 39359850 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 11:05:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39601773 loops (48325/sec), 11534100613 sampling steps, 39601476 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 11:05:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39843963 loops (48438/sec), 11604633037 sampling steps, 39843666 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4560 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:05:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40085769 loops (48361/sec), 11675058746 sampling steps, 40085472 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4560 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40326402 loops (48126/sec), 11745154841 sampling steps, 40326105 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4561 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40565549 loops (47829/sec), 11814814651 sampling steps, 40565251 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4573 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40805650 loops (48020/sec), 11884730364 sampling steps, 40805352 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4574 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41046175 loops (48105/sec), 11954775784 sampling steps, 41045877 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4575 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41288056 loops (48376/sec), 12025237724 sampling steps, 41287758 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4576 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41529558 loops (48300/sec), 12095572597 sampling steps, 41529259 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4589 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41771372 loops (48362/sec), 12166007189 sampling steps, 41771073 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4590 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42013270 loops (48379/sec), 12236461115 sampling steps, 42012970 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4600 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42254401 loops (48226/sec), 12306656301 sampling steps, 42254101 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4600 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42496806 loops (48481/sec), 12377290890 sampling steps, 42496506 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4600 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42738774 loops (48393/sec), 12447770551 sampling steps, 42738474 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4600 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:06:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42980866 loops (48418/sec), 12518294262 sampling steps, 42980566 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4610 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43222360 loops (48298/sec), 12588623840 sampling steps, 43222060 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4610 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43461573 loops (47842/sec), 12658300503 sampling steps, 43461273 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4610 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43702530 loops (48191/sec), 12728446253 sampling steps, 43702230 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4610 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43943711 loops (48236/sec), 12798672574 sampling steps, 43943411 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4611 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44185211 loops (48300/sec), 12868998352 sampling steps, 44184911 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4611 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44426660 loops (48289/sec), 12939302795 sampling steps, 44426360 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4612 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44668483 loops (48364/sec), 13009741121 sampling steps, 44668183 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4613 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44910641 loops (48431/sec), 13080264586 sampling steps, 44910341 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4613 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45152379 loops (48347/sec), 13150661798 sampling steps, 45152079 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4613 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45394045 loops (48333/sec), 13221027067 sampling steps, 45393745 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4613 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45635940 loops (48379/sec), 13291450396 sampling steps, 45635640 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4613 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:07:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45878230 loops (48458/sec), 13361990205 sampling steps, 45877930 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4625 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46119830 loops (48320/sec), 13432307145 sampling steps, 46119530 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4625 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46359186 loops (47871/sec), 13502046334 sampling steps, 46358886 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4625 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46600772 loops (48317/sec), 13572391181 sampling steps, 46600472 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4633 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46842952 loops (48436/sec), 13642944716 sampling steps, 46842652 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4633 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47084743 loops (48358/sec), 13713370877 sampling steps, 47084443 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4635 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47326505 loops (48352/sec), 13783817868 sampling steps, 47326205 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4635 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47568968 loops (48492/sec), 13854401481 sampling steps, 47568668 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4635 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47810433 loops (48293/sec), 13924743029 sampling steps, 47810133 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4635 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48050952 loops (48103/sec), 13994801844 sampling steps, 48050652 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4636 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48292358 loops (48281/sec), 14065096126 sampling steps, 48292058 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4636 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48534104 loops (48349/sec), 14135512808 sampling steps, 48533804 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4636 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:08:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48775076 loops (48194/sec), 14205706293 sampling steps, 48774776 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4637 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49015043 loops (47993/sec), 14275579456 sampling steps, 49014743 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4643 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49253374 loops (47666/sec), 14344992617 sampling steps, 49253074 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4644 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49493109 loops (47947/sec), 14414847355 sampling steps, 49492808 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4657 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49734792 loops (48336/sec), 14485232746 sampling steps, 49734491 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4657 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49976772 loops (48396/sec), 14555725084 sampling steps, 49976470 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4667 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50219332 loops (48512/sec), 14626366383 sampling steps, 50219030 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4667 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50461679 loops (48469/sec), 14696958424 sampling steps, 50461377 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4669 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50702409 loops (48146/sec), 14767074392 sampling steps, 50702107 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4672 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50944389 loops (48396/sec), 14837544401 sampling steps, 50944087 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4672 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51185444 loops (48211/sec), 14907767592 sampling steps, 51185142 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4673 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51427307 loops (48372/sec), 14978218016 sampling steps, 51427005 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4673 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:09:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51669113 loops (48361/sec), 15048628028 sampling steps, 51668811 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4673 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51910276 loops (48232/sec), 15118881643 sampling steps, 51909974 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4673 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52148770 loops (47698/sec), 15188363940 sampling steps, 52148468 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4673 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52390346 loops (48315/sec), 15258742438 sampling steps, 52390044 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4673 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52632724 loops (48475/sec), 15329360466 sampling steps, 52632422 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4673 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52875644 loops (48584/sec), 15400073247 sampling steps, 52875342 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4673 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53117942 loops (48459/sec), 15470666159 sampling steps, 53117640 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4673 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53359838 loops (48379/sec), 15541109693 sampling steps, 53359536 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4673 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53600965 loops (48225/sec), 15611361710 sampling steps, 53600663 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4673 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53841418 loops (48090/sec), 15681389856 sampling steps, 53841116 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4673 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
54083839 loops (48484/sec), 15752011930 sampling steps, 54083537 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4674 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
54324911 loops (48214/sec), 15822223143 sampling steps, 54324609 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4674 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:10:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
54565576 loops (48133/sec), 15892313611 sampling steps, 54565274 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4674 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
54806144 loops (48113/sec), 15962364855 sampling steps, 54805842 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4674 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55044410 loops (47653/sec), 16031778539 sampling steps, 55044108 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4675 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55285227 loops (48163/sec), 16101876518 sampling steps, 55284925 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4676 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55525938 loops (48142/sec), 16171983206 sampling steps, 55525636 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4676 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55766368 loops (48086/sec), 16242028320 sampling steps, 55766066 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4677 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56007627 loops (48251/sec), 16312276385 sampling steps, 56007325 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4686 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56249819 loops (48438/sec), 16382821942 sampling steps, 56249517 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4687 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56490749 loops (48186/sec), 16453020830 sampling steps, 56490447 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4687 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56732904 loops (48431/sec), 16523536930 sampling steps, 56732602 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4687 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56974980 loops (48415/sec), 16594064849 sampling steps, 56974678 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4688 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57216416 loops (48287/sec), 16664376242 sampling steps, 57216114 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4688 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:11:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57457761 loops (48269/sec), 16734669068 sampling steps, 57457459 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4688 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57697808 loops (48009/sec), 16804588146 sampling steps, 57697506 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4688 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57938574 loops (48153/sec), 16874728591 sampling steps, 57938272 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4688 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58179684 loops (48222/sec), 16944924709 sampling steps, 58179382 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4688 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58420547 loops (48172/sec), 17015067060 sampling steps, 58420245 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4692 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58661227 loops (48136/sec), 17085150543 sampling steps, 58660925 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4692 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58900431 loops (47840/sec), 17154821220 sampling steps, 58900129 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4692 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
59139882 loops (47890/sec), 17224587715 sampling steps, 59139580 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4692 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
59379141 loops (47851/sec), 17294299601 sampling steps, 59378839 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4694 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
59618527 loops (47877/sec), 17364041880 sampling steps, 59618225 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4695 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
59857727 loops (47840/sec), 17433741755 sampling steps, 59857425 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4695 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60097049 loops (47864/sec), 17503457244 sampling steps, 60096747 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4696 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:12:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60336956 loops (47981/sec), 17573328255 sampling steps, 60336654 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4696 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60576289 loops (47866/sec), 17643009659 sampling steps, 60575987 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4696 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60815338 loops (47809/sec), 17712653549 sampling steps, 60815035 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4706 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
61054959 loops (47924/sec), 17782455681 sampling steps, 61054656 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4707 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
61295822 loops (48172/sec), 17852614004 sampling steps, 61295518 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4719 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
61537316 loops (48298/sec), 17922915474 sampling steps, 61537012 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4721 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
61778369 loops (48210/sec), 17993112254 sampling steps, 61778065 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4722 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
62019289 loops (48184/sec), 18063294583 sampling steps, 62018985 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4722 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
62260467 loops (48235/sec), 18133494858 sampling steps, 62260163 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4722 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
62502154 loops (48337/sec), 18203912466 sampling steps, 62501850 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4722 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
62743388 loops (48246/sec), 18274170189 sampling steps, 62743084 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4722 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
62984979 loops (48318/sec), 18344522727 sampling steps, 62984675 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4722 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:13:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
63226557 loops (48315/sec), 18414833869 sampling steps, 63226253 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4722 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
63467159 loops (48120/sec), 18484919179 sampling steps, 63466855 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4722 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
63706695 loops (47907/sec), 18554650792 sampling steps, 63706391 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4724 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
63948434 loops (48347/sec), 18625042102 sampling steps, 63948130 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4724 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
64191174 loops (48548/sec), 18695727815 sampling steps, 64190870 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4724 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
64433404 loops (48446/sec), 18766266516 sampling steps, 64433100 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4724 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
64675767 loops (48472/sec), 18836868624 sampling steps, 64675463 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4724 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
64916390 loops (48124/sec), 18906928779 sampling steps, 64916085 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4734 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
65157053 loops (48132/sec), 18977046449 sampling steps, 65156748 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4734 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
65398935 loops (48376/sec), 19047462718 sampling steps, 65398630 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4735 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
65640257 loops (48264/sec), 19117761801 sampling steps, 65639952 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4737 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
65881017 loops (48152/sec), 19187856231 sampling steps, 65880712 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4737 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:14:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
66121980 loops (48192/sec), 19258047519 sampling steps, 66121675 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4737 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
66362437 loops (48091/sec), 19328079649 sampling steps, 66362132 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4739 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
66600688 loops (47650/sec), 19397489275 sampling steps, 66600383 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4739 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
66840859 loops (48034/sec), 19467454672 sampling steps, 66840554 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4740 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
67082661 loops (48360/sec), 19537888108 sampling steps, 67082356 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4741 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
67324763 loops (48420/sec), 19608423727 sampling steps, 67324458 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4741 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
67565739 loops (48195/sec), 19678625880 sampling steps, 67565434 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4741 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
67807328 loops (48317/sec), 19748994789 sampling steps, 67807023 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4741 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
68048958 loops (48326/sec), 19819397247 sampling steps, 68048653 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4741 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
68291134 loops (48435/sec), 19889917928 sampling steps, 68290829 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4742 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
68532644 loops (48302/sec), 19960266843 sampling steps, 68532339 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4742 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
68774921 loops (48455/sec), 20030844729 sampling steps, 68774616 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4742 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:15:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69016531 loops (48322/sec), 20101230317 sampling steps, 69016226 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4743 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69257673 loops (48228/sec), 20171486117 sampling steps, 69257368 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4744 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69497230 loops (47911/sec), 20241251071 sampling steps, 69496925 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4744 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69738652 loops (48284/sec), 20311586785 sampling steps, 69738347 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4744 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69979435 loops (48156/sec), 20381723063 sampling steps, 69979130 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4744 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
70221106 loops (48334/sec), 20452099699 sampling steps, 70220801 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4744 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
70462757 loops (48330/sec), 20522510513 sampling steps, 70462452 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4744 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
70704858 loops (48420/sec), 20593014481 sampling steps, 70704553 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4744 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
70946115 loops (48251/sec), 20663310451 sampling steps, 70945810 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4744 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
71187673 loops (48311/sec), 20733667668 sampling steps, 71187368 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4744 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
71429563 loops (48378/sec), 20804114923 sampling steps, 71429258 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4744 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
71671105 loops (48308/sec), 20874467308 sampling steps, 71670800 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4744 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:16:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
71912276 loops (48234/sec), 20944732969 sampling steps, 71911971 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4745 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
72153826 loops (48310/sec), 21015094153 sampling steps, 72153521 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4745 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
72392528 loops (47740/sec), 21084637294 sampling steps, 72392223 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4745 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
72633629 loops (48220/sec), 21154850554 sampling steps, 72633324 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4754 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
72875825 loops (48439/sec), 21225358688 sampling steps, 72875520 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4756 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
73116887 loops (48212/sec), 21295575605 sampling steps, 73116582 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4756 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
73357421 loops (48106/sec), 21365663332 sampling steps, 73357116 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4756 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
73597959 loops (48107/sec), 21435724449 sampling steps, 73597654 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4756 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
73839795 loops (48367/sec), 21506132184 sampling steps, 73839490 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4756 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
74081013 loops (48243/sec), 21576373157 sampling steps, 74080708 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4757 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
74323047 loops (48406/sec), 21646883665 sampling steps, 74322742 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4758 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
74565483 loops (48487/sec), 21717471640 sampling steps, 74565178 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4758 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:17:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
74807382 loops (48379/sec), 21787899705 sampling steps, 74807077 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4760 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
75048530 loops (48229/sec), 21858117041 sampling steps, 75048225 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4763 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
75286502 loops (47594/sec), 21927407034 sampling steps, 75286197 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4763 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
75526747 loops (48049/sec), 21997373537 sampling steps, 75526442 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4763 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
75767338 loops (48118/sec), 22067442322 sampling steps, 75767033 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4763 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76008380 loops (48208/sec), 22137641610 sampling steps, 76008074 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4773 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76249582 loops (48240/sec), 22207867670 sampling steps, 76249276 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4774 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76491461 loops (48375/sec), 22278311187 sampling steps, 76491155 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4774 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76732624 loops (48232/sec), 22348587448 sampling steps, 76732318 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4774 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76973656 loops (48206/sec), 22418774880 sampling steps, 76973350 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4774 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77214603 loops (48189/sec), 22488947819 sampling steps, 77214297 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4774 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77455133 loops (48106/sec), 22559022631 sampling steps, 77454827 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4775 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:18:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77695943 loops (48162/sec), 22629179099 sampling steps, 77695637 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4775 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77935654 loops (47942/sec), 22699005911 sampling steps, 77935348 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4775 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
78173609 loops (47591/sec), 22768331741 sampling steps, 78173303 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4775 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
78414155 loops (48109/sec), 22838385339 sampling steps, 78413849 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4777 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
78654945 loops (48158/sec), 22908507919 sampling steps, 78654639 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4777 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
78895836 loops (48178/sec), 22978680491 sampling steps, 78895530 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4783 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
79136733 loops (48179/sec), 23048840948 sampling steps, 79136427 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4783 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
79377415 loops (48136/sec), 23118953315 sampling steps, 79377109 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4784 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
79618610 loops (48239/sec), 23189194676 sampling steps, 79618304 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4784 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
79860934 loops (48464/sec), 23259785517 sampling steps, 79860628 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4785 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
80103555 loops (48524/sec), 23330449075 sampling steps, 80103249 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4785 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
80346316 loops (48552/sec), 23401140632 sampling steps, 80346010 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4785 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:19:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
80588337 loops (48404/sec), 23471665153 sampling steps, 80588031 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4785 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:20:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
80829059 loops (48144/sec), 23541775413 sampling steps, 80828753 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4785 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:20:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
81069029 loops (47994/sec), 23611686302 sampling steps, 81068723 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4785 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:20:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
81310349 loops (48264/sec), 23681972480 sampling steps, 81310043 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4785 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:20:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
81552351 loops (48400/sec), 23752436735 sampling steps, 81552045 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4788 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:20:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
81794805 loops (48490/sec), 23823037043 sampling steps, 81794499 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4789 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:20:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
82037753 loops (48589/sec), 23893777591 sampling steps, 82037447 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4789 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.0060811042786 seconds since the total time limit of 1800.0 seconds was exceeded.