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_NAIVE --precision 0.001
Sep 13, 2024 10:50:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
163414 loops (32682/sec), 47568553 sampling steps, 163210 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2740 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:
337149 loops (34747/sec), 98178353 sampling steps, 336937 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
2934 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:
510496 loops (34669/sec), 148652183 sampling steps, 510278 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3033 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:
687907 loops (35482/sec), 200329623 sampling steps, 687688 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3086 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:
867428 loops (35904/sec), 252611911 sampling steps, 867203 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3189 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:
1046656 loops (35845/sec), 304806094 sampling steps, 1046427 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3250 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:
1225442 loops (35757/sec), 356855008 sampling steps, 1225210 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3295 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:
1406221 loops (36155/sec), 409515897 sampling steps, 1405988 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3333 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:
1587222 loops (36200/sec), 462236915 sampling steps, 1586987 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3384 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:
1768172 loops (36190/sec), 514928217 sampling steps, 1767934 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3421 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:
1948370 loops (36039/sec), 567415977 sampling steps, 1948132 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3424 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:
2127263 loops (35778/sec), 619512204 sampling steps, 2127023 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3454 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:
2307991 loops (36145/sec), 672142283 sampling steps, 2307749 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3491 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:
2488714 loops (36144/sec), 724758930 sampling steps, 2488471 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3506 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:
2670529 loops (36363/sec), 777688982 sampling steps, 2670285 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3531 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:
2849910 loops (35876/sec), 829916893 sampling steps, 2849665 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3557 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:
3031845 loops (36387/sec), 882910013 sampling steps, 3031599 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3592 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:
3210256 loops (35682/sec), 934862041 sampling steps, 3210009 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3609 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:
3390570 loops (36062/sec), 987371950 sampling steps, 3390323 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:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
3570548 loops (35995/sec), 1039775037 sampling steps, 3570301 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3631 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:
3752502 loops (36390/sec), 1092772266 sampling steps, 3752253 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3657 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:
3934784 loops (36456/sec), 1145858526 sampling steps, 3934535 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3675 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:
4116820 loops (36407/sec), 1198873437 sampling steps, 4116571 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3677 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:
4298224 loops (36280/sec), 1251721527 sampling steps, 4297974 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3692 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:
4480322 loops (36419/sec), 1304768898 sampling steps, 4480072 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3696 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:
4662854 loops (36506/sec), 1357952733 sampling steps, 4662603 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3709 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:
4846389 loops (36707/sec), 1411386749 sampling steps, 4846138 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3711 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:
5029754 loops (36673/sec), 1464808221 sampling steps, 5029503 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3720 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:
5213462 loops (36741/sec), 1518307239 sampling steps, 5213211 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3727 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:
5393834 loops (36074/sec), 1570840233 sampling steps, 5393582 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3738 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:
5572178 loops (35668/sec), 1622783057 sampling steps, 5571926 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3752 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:
5753901 loops (36344/sec), 1675710638 sampling steps, 5753648 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3782 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:
5936939 loops (36607/sec), 1729004048 sampling steps, 5936685 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:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6118538 loops (36319/sec), 1781907372 sampling steps, 6118283 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3830 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:
6299656 loops (36223/sec), 1834663908 sampling steps, 6299401 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:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6482204 loops (36509/sec), 1887822739 sampling steps, 6481949 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3835 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:
6665075 loops (36574/sec), 1941075302 sampling steps, 6664820 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3837 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:
6847425 loops (36470/sec), 1994185952 sampling steps, 6847169 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3851 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:
7029952 loops (36505/sec), 2047340493 sampling steps, 7029695 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3867 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:
7212887 loops (36587/sec), 2100650800 sampling steps, 7212630 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3881 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:
7396327 loops (36688/sec), 2154084764 sampling steps, 7396070 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3888 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:
7578108 loops (36356/sec), 2207006968 sampling steps, 7577850 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3907 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:
7759568 loops (36292/sec), 2259862774 sampling steps, 7759310 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3912 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:
7940864 loops (36259/sec), 2312639408 sampling steps, 7940605 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3922 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:
8122927 loops (36412/sec), 2365693364 sampling steps, 8122667 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3936 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:
8304915 loops (36397/sec), 2418696277 sampling steps, 8304655 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3939 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:
8487219 loops (36460/sec), 2471786665 sampling steps, 8486959 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3941 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:
8670155 loops (36587/sec), 2525025400 sampling steps, 8669894 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:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8853016 loops (36572/sec), 2578294331 sampling steps, 8852755 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3964 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:
9036155 loops (36627/sec), 2631643782 sampling steps, 9035893 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3985 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:
9219423 loops (36653/sec), 2685013741 sampling steps, 9219161 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
3992 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:
9403231 loops (36761/sec), 2738536843 sampling steps, 9402968 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:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9586640 loops (36681/sec), 2791978121 sampling steps, 9586377 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4014 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:
9768401 loops (36352/sec), 2844908847 sampling steps, 9768138 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4016 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:
9949968 loops (36313/sec), 2897767572 sampling steps, 9949705 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4017 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:
10131633 loops (36333/sec), 2950658994 sampling steps, 10131370 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4019 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:
10315025 loops (36678/sec), 3004082204 sampling steps, 10314761 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4032 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:
10498780 loops (36751/sec), 3057584612 sampling steps, 10498516 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4036 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:
10682637 loops (36771/sec), 3111105267 sampling steps, 10682373 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4037 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:
10865448 loops (36562/sec), 3164381474 sampling steps, 10865184 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:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11048331 loops (36576/sec), 3217643055 sampling steps, 11048067 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4054 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:
11230664 loops (36466/sec), 3270746666 sampling steps, 11230400 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:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11413530 loops (36573/sec), 3323982474 sampling steps, 11413266 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4062 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:
11596705 loops (36635/sec), 3377321784 sampling steps, 11596440 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4072 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:
11780210 loops (36701/sec), 3430747441 sampling steps, 11779944 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4082 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:
11961837 loops (36325/sec), 3483658919 sampling steps, 11961571 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4089 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:
12143222 loops (36277/sec), 3536493004 sampling steps, 12142956 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4089 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:
12324776 loops (36310/sec), 3589376863 sampling steps, 12324510 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4089 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:
12533749 loops (41794/sec), 3650237882 sampling steps, 12533482 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4100 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:
12792057 loops (51661/sec), 3725462758 sampling steps, 12791790 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4102 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:
13050006 loops (51589/sec), 3800577605 sampling steps, 13049738 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4113 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:
13308637 loops (51726/sec), 3875930261 sampling steps, 13308368 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4131 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:
13568022 loops (51877/sec), 3951495965 sampling steps, 13567753 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4131 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:
13825417 loops (51479/sec), 4026468665 sampling steps, 13825145 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4162 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:
14084717 loops (51860/sec), 4101985927 sampling steps, 14084445 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4178 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:
14343744 loops (51805/sec), 4177430789 sampling steps, 14343472 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4179 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:
14603015 loops (51854/sec), 4252931692 sampling steps, 14602743 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4189 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:
14861110 loops (51619/sec), 4328090093 sampling steps, 14860838 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4190 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:
15117388 loops (51255/sec), 4402716601 sampling steps, 15117116 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4205 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:
15376196 loops (51761/sec), 4478119777 sampling steps, 15375924 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4205 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:
15635984 loops (51957/sec), 4553797380 sampling steps, 15635712 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4206 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:
15895516 loops (51906/sec), 4629383097 sampling steps, 15895244 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4206 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:
16154923 loops (51881/sec), 4704915340 sampling steps, 16154651 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4206 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:
16414342 loops (51883/sec), 4780441781 sampling steps, 16414070 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4206 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:
16674024 loops (51936/sec), 4856034747 sampling steps, 16673752 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4214 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:
16933073 loops (51809/sec), 4931499616 sampling steps, 16932801 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4223 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:
17191672 loops (51719/sec), 5006829765 sampling steps, 17191400 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4223 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:
17449473 loops (51560/sec), 5081905967 sampling steps, 17449201 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:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17706728 loops (51451/sec), 5156822730 sampling steps, 17706456 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:58:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17962528 loops (51160/sec), 5231308702 sampling steps, 17962255 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4243 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:
18215165 loops (50527/sec), 5304872064 sampling steps, 18214891 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4257 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:
18470891 loops (51145/sec), 5379375915 sampling steps, 18470617 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4258 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:
18725395 loops (50900/sec), 5453516202 sampling steps, 18725119 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4279 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:
18981641 loops (51249/sec), 5528117118 sampling steps, 18981365 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4286 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:
19237635 loops (51198/sec), 5602715554 sampling steps, 19237359 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4286 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:
19493695 loops (51212/sec), 5677299490 sampling steps, 19493419 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4287 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:
19749191 loops (51099/sec), 5751733723 sampling steps, 19748914 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4301 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:
20005768 loops (51315/sec), 5826472895 sampling steps, 20005491 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4301 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:
20261824 loops (51211/sec), 5901065440 sampling steps, 20261547 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4304 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:
20517970 loops (51229/sec), 5975676957 sampling steps, 20517693 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:58:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20774177 loops (51241/sec), 6050283511 sampling steps, 20773900 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:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21029155 loops (50995/sec), 6124550639 sampling steps, 21028878 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4309 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:
21282377 loops (50644/sec), 6198289922 sampling steps, 21282100 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4309 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:
21538090 loops (51142/sec), 6272762603 sampling steps, 21537813 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4309 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:
21793512 loops (51084/sec), 6347151020 sampling steps, 21793235 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4312 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:
22049623 loops (51222/sec), 6421715093 sampling steps, 22049345 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4329 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:
22307512 loops (51577/sec), 6496786177 sampling steps, 22307234 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4330 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:
22567907 loops (52079/sec), 6572591639 sampling steps, 22567628 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4341 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:
22828287 loops (52076/sec), 6648424812 sampling steps, 22828008 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 10:59:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23088836 loops (52109/sec), 6724320637 sampling steps, 23088557 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4344 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:
23347812 loops (51795/sec), 6799733623 sampling steps, 23347533 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4345 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:
23608102 loops (52058/sec), 6875539723 sampling steps, 23607823 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4346 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:
23867910 loops (51961/sec), 6951202403 sampling steps, 23867631 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4349 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:
24126283 loops (51674/sec), 7026457179 sampling steps, 24126004 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:
24383260 loops (51395/sec), 7101333888 sampling steps, 24382981 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:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24643312 loops (52010/sec), 7177047027 sampling steps, 24643033 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:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24904044 loops (52146/sec), 7253002457 sampling steps, 24903765 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:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25164572 loops (52105/sec), 7328859985 sampling steps, 25164293 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4353 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:
25424763 loops (52038/sec), 7404633300 sampling steps, 25424482 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4374 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:
25684959 loops (52039/sec), 7480423993 sampling steps, 25684678 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4374 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:
25945623 loops (52132/sec), 7556341404 sampling steps, 25945342 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4374 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:
26206271 loops (52129/sec), 7632274348 sampling steps, 26205990 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4374 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:
26466109 loops (51967/sec), 7707932180 sampling steps, 26465828 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4375 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:
26726505 loops (52079/sec), 7783775938 sampling steps, 26726224 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4375 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:
26987172 loops (52133/sec), 7859707479 sampling steps, 26986891 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4376 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:
27246368 loops (51839/sec), 7935200178 sampling steps, 27246087 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4376 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:
27503722 loops (51470/sec), 8010143410 sampling steps, 27503441 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4376 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:
27763281 loops (51911/sec), 8085762052 sampling steps, 27763000 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4377 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:
28022926 loops (51929/sec), 8161339453 sampling steps, 28022645 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4380 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:
28283460 loops (52106/sec), 8237220673 sampling steps, 28283179 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4380 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:
28543874 loops (52082/sec), 8313100398 sampling steps, 28543593 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:01:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28804156 loops (52056/sec), 8388923027 sampling steps, 28803875 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4382 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:
29065037 loops (52176/sec), 8464909975 sampling steps, 29064756 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4382 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:
29325741 loops (52140/sec), 8540830070 sampling steps, 29325460 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4382 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:
29586119 loops (52075/sec), 8616666599 sampling steps, 29585838 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:01:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29846763 loops (52128/sec), 8692576248 sampling steps, 29846482 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:01:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30107116 loops (52070/sec), 8768405189 sampling steps, 30106835 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4384 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:
30365654 loops (51707/sec), 8843709896 sampling steps, 30365373 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4386 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:
30621925 loops (51254/sec), 8918367882 sampling steps, 30621644 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4388 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:
30881350 loops (51885/sec), 8993919064 sampling steps, 30881069 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4389 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:
31142409 loops (52211/sec), 9069937381 sampling steps, 31142128 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4389 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:
31402866 loops (52091/sec), 9145806820 sampling steps, 31402585 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4389 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:
31663027 loops (52032/sec), 9221579568 sampling steps, 31662746 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4396 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:
31923015 loops (51997/sec), 9297307450 sampling steps, 31922734 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4397 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:
32183395 loops (52076/sec), 9373172074 sampling steps, 32183114 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4400 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:
32443908 loops (52102/sec), 9449041068 sampling steps, 32443627 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:02:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32703320 loops (51882/sec), 9524573564 sampling steps, 32703039 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4405 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:
32964178 loops (52171/sec), 9600572051 sampling steps, 32963897 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4405 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:
33224663 loops (52097/sec), 9676447874 sampling steps, 33224382 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4406 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:
33483546 loops (51776/sec), 9751870415 sampling steps, 33483265 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4406 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:
33740242 loops (51339/sec), 9826662600 sampling steps, 33739961 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4406 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:
33999992 loops (51950/sec), 9902312244 sampling steps, 33999711 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4406 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:
34259449 loops (51891/sec), 9977862658 sampling steps, 34259168 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4406 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:
34519461 loops (52002/sec), 10053587941 sampling steps, 34519180 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4406 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:
34779835 loops (52074/sec), 10129397397 sampling steps, 34779554 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4408 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:
35040259 loops (52084/sec), 10205231668 sampling steps, 35039978 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:03:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35300827 loops (52113/sec), 10281122956 sampling steps, 35300546 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4416 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:
35560859 loops (52006/sec), 10356842517 sampling steps, 35560578 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4418 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 11:03:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35820730 loops (51974/sec), 10432537918 sampling steps, 35820449 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4419 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:
36081163 loops (52086/sec), 10508400883 sampling steps, 36080882 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4422 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:
36341353 loops (52038/sec), 10584170805 sampling steps, 36341072 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4424 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:
36600080 loops (51745/sec), 10659524388 sampling steps, 36599799 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4424 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:
36857700 loops (51524/sec), 10734521189 sampling steps, 36857419 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4425 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:
37117039 loops (51867/sec), 10810054875 sampling steps, 37116757 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4436 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:
37376498 loops (51891/sec), 10885641521 sampling steps, 37376215 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:04:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37637278 loops (52156/sec), 10961587161 sampling steps, 37636995 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:04:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37897476 loops (52039/sec), 11037386588 sampling steps, 37897193 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4458 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:
38157721 loops (52049/sec), 11113200716 sampling steps, 38157438 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:04:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38417858 loops (52027/sec), 11188980872 sampling steps, 38417575 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4466 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:
38678738 loops (52176/sec), 11264958716 sampling steps, 38678455 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4466 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:
38937394 loops (51731/sec), 11340292286 sampling steps, 38937111 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4470 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:
39198335 loops (52188/sec), 11416276118 sampling steps, 39198052 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4470 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:
39458848 loops (52102/sec), 11492149782 sampling steps, 39458564 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:05:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39716547 loops (51539/sec), 11567189474 sampling steps, 39716262 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:05:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39973993 loops (51489/sec), 11642138972 sampling steps, 39973708 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4499 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:
40233662 loops (51933/sec), 11717782647 sampling steps, 40233377 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4509 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:
40494054 loops (52078/sec), 11793603612 sampling steps, 40493769 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:05:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40754742 loops (52137/sec), 11869501283 sampling steps, 40754457 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:05:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41015044 loops (52060/sec), 11945306293 sampling steps, 41014759 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4519 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:
41275980 loops (52187/sec), 12021306896 sampling steps, 41275695 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4519 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:
41536267 loops (52057/sec), 12097110094 sampling steps, 41535982 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4520 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:
41796928 loops (52132/sec), 12173011617 sampling steps, 41796643 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4520 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:
42057360 loops (52086/sec), 12248853894 sampling steps, 42057075 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4521 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:
42317445 loops (52017/sec), 12324600924 sampling steps, 42317160 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4521 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:
42577809 loops (52072/sec), 12400455820 sampling steps, 42577524 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:06:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42837044 loops (51847/sec), 12475935021 sampling steps, 42836759 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:06:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43094511 loops (51493/sec), 12550913078 sampling steps, 43094226 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:06:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43353880 loops (51873/sec), 12626476138 sampling steps, 43353595 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:06:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43614323 loops (52088/sec), 12702362751 sampling steps, 43614038 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:06:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43873425 loops (51820/sec), 12777837308 sampling steps, 43873140 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:06:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44133939 loops (52102/sec), 12853698917 sampling steps, 44133653 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4541 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:
44394592 loops (52130/sec), 12929625007 sampling steps, 44394306 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4541 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:
44655117 loops (52105/sec), 13005527907 sampling steps, 44654831 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:06:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44916404 loops (52257/sec), 13081611667 sampling steps, 44916118 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4545 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:
45176951 loops (52109/sec), 13157479591 sampling steps, 45176665 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4545 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:
45437814 loops (52172/sec), 13233439801 sampling steps, 45437528 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4546 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:
45698080 loops (52053/sec), 13309224117 sampling steps, 45697794 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4546 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:
45956817 loops (51747/sec), 13384576396 sampling steps, 45956531 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4546 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:
46214014 loops (51439/sec), 13459501825 sampling steps, 46213728 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:07:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46473162 loops (51829/sec), 13535022070 sampling steps, 46472875 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4566 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:
46733804 loops (52128/sec), 13610931473 sampling steps, 46733517 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4568 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:
46993674 loops (51974/sec), 13686624024 sampling steps, 46993387 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4568 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:
47254084 loops (52082/sec), 13762482213 sampling steps, 47253797 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4568 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:
47514369 loops (52057/sec), 13838321339 sampling steps, 47514082 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4571 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:
47775649 loops (52256/sec), 13914386759 sampling steps, 47775362 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4571 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:
48036122 loops (52094/sec), 13990248311 sampling steps, 48035835 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:07:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48296499 loops (52075/sec), 14066049883 sampling steps, 48296212 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:07:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48555880 loops (51876/sec), 14141595792 sampling steps, 48555593 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:07:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
48816436 loops (52111/sec), 14217517131 sampling steps, 48816149 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4585 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:
49075620 loops (51836/sec), 14293006404 sampling steps, 49075333 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4586 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:
49333153 loops (51506/sec), 14368017241 sampling steps, 49332866 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4587 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:
49592546 loops (51878/sec), 14443556058 sampling steps, 49592259 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4587 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:
49853095 loops (52109/sec), 14519459404 sampling steps, 49852808 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4587 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:
50113790 loops (52139/sec), 14595363864 sampling steps, 50113503 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4588 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:
50374362 loops (52114/sec), 14671258607 sampling steps, 50374074 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4598 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:
50634685 loops (52064/sec), 14747112122 sampling steps, 50634397 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4598 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:
50895089 loops (52080/sec), 14822950417 sampling steps, 50894801 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4598 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:
51155512 loops (52084/sec), 14898836427 sampling steps, 51155224 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4601 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:
51415757 loops (52049/sec), 14974652630 sampling steps, 51415469 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4602 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:
51676049 loops (52058/sec), 15050422611 sampling steps, 51675761 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4603 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:
51936941 loops (52178/sec), 15126389194 sampling steps, 51936653 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4604 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:
52196058 loops (51823/sec), 15201855611 sampling steps, 52195770 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4605 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:
52453396 loops (51467/sec), 15276808737 sampling steps, 52453108 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4606 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:
52712980 loops (51916/sec), 15352375706 sampling steps, 52712692 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4608 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:
52973468 loops (52097/sec), 15428244595 sampling steps, 52973180 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4608 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:
53232531 loops (51812/sec), 15503704319 sampling steps, 53232243 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4609 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:
53493217 loops (52137/sec), 15579617892 sampling steps, 53492929 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4614 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:
53753722 loops (52101/sec), 15655476135 sampling steps, 53753434 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4614 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:
54014448 loops (52145/sec), 15731399212 sampling steps, 54014160 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4614 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:
54274543 loops (52019/sec), 15807170696 sampling steps, 54274255 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4615 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:
54528785 loops (50848/sec), 15881196546 sampling steps, 54528497 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4618 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:
54788920 loops (52027/sec), 15956930429 sampling steps, 54788632 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4618 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:
55048483 loops (51912/sec), 16032530854 sampling steps, 55048195 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4618 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:
55304784 loops (51260/sec), 16107213350 sampling steps, 55304496 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4619 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:
55555264 loops (50096/sec), 16180153450 sampling steps, 55554976 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4621 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:
55813195 loops (51586/sec), 16255267945 sampling steps, 55812907 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4621 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:
56072099 loops (51780/sec), 16330697768 sampling steps, 56071811 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4621 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:
56330303 loops (51640/sec), 16405905002 sampling steps, 56330015 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4622 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:
56588583 loops (51656/sec), 16481108679 sampling steps, 56588294 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:10:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56848355 loops (51954/sec), 16556781430 sampling steps, 56848066 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:10:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57109296 loops (52188/sec), 16632767866 sampling steps, 57109007 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:10:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57369934 loops (52127/sec), 16708686026 sampling steps, 57369645 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4638 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:
57630912 loops (52195/sec), 16784665125 sampling steps, 57630622 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4648 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:
57889937 loops (51805/sec), 16860111858 sampling steps, 57889647 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4648 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:
58150395 loops (52091/sec), 16935974178 sampling steps, 58150105 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4649 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:
58409750 loops (51871/sec), 17011520244 sampling steps, 58409460 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4649 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:
58667574 loops (51564/sec), 17086626467 sampling steps, 58667284 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4649 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:
58927311 loops (51947/sec), 17162271857 sampling steps, 58927021 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4649 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:
59188105 loops (52158/sec), 17238221944 sampling steps, 59187815 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4650 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:
59448785 loops (52136/sec), 17314164153 sampling steps, 59448494 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4661 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:
59709611 loops (52165/sec), 17390104579 sampling steps, 59709320 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4663 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:
59970248 loops (52127/sec), 17466034226 sampling steps, 59969957 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4665 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:
60230943 loops (52139/sec), 17541957016 sampling steps, 60230652 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:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60491820 loops (52175/sec), 17617965829 sampling steps, 60491529 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:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60752887 loops (52213/sec), 17694000361 sampling steps, 60752596 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:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
61011861 loops (51794/sec), 17769431938 sampling steps, 61011570 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4685 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:
61272530 loops (52133/sec), 17845354698 sampling steps, 61272239 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:12:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
61532331 loops (51960/sec), 17921006835 sampling steps, 61532040 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4690 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:
61793309 loops (52195/sec), 17997000313 sampling steps, 61793018 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4690 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:
62054290 loops (52196/sec), 18073001279 sampling steps, 62053999 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4698 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:
62315276 loops (52197/sec), 18149013983 sampling steps, 62314985 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4698 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:
62574813 loops (51907/sec), 18224623962 sampling steps, 62574522 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4699 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:
62835160 loops (52069/sec), 18300461458 sampling steps, 62834869 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4699 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:
63096001 loops (52168/sec), 18376435821 sampling steps, 63095710 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4699 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:
63356885 loops (52176/sec), 18452410943 sampling steps, 63356594 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:12:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
63617694 loops (52161/sec), 18528396111 sampling steps, 63617403 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4708 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:
63878423 loops (52145/sec), 18604325946 sampling steps, 63878132 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4708 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:
64139673 loops (52250/sec), 18680406730 sampling steps, 64139382 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4708 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:
64400491 loops (52163/sec), 18756385646 sampling steps, 64400200 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4708 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:
64660130 loops (51927/sec), 18832027019 sampling steps, 64659838 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4718 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:
64917897 loops (51553/sec), 18907120662 sampling steps, 64917605 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:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
65177611 loops (51942/sec), 18982747186 sampling steps, 65177319 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4720 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:
65438538 loops (52185/sec), 19058744707 sampling steps, 65438246 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4720 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:
65698408 loops (51974/sec), 19134430370 sampling steps, 65698116 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4720 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:
65958883 loops (52095/sec), 19210311439 sampling steps, 65958591 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4720 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:
66219788 loops (52181/sec), 19286313011 sampling steps, 66219496 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4720 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:
66480576 loops (52157/sec), 19362250047 sampling steps, 66480284 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:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
66741876 loops (52260/sec), 19438366638 sampling steps, 66741584 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:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
67002557 loops (52136/sec), 19514293250 sampling steps, 67002265 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4725 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:
67263412 loops (52171/sec), 19590276019 sampling steps, 67263120 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4726 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:
67522950 loops (51907/sec), 19665863894 sampling steps, 67522658 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4727 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:
67782541 loops (51918/sec), 19741485664 sampling steps, 67782249 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4728 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:
68040152 loops (51522/sec), 19816510945 sampling steps, 68039859 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4738 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:
68300307 loops (52031/sec), 19892279726 sampling steps, 68300014 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4738 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:
68561079 loops (52154/sec), 19968202634 sampling steps, 68560785 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4748 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:
68821728 loops (52129/sec), 20044115574 sampling steps, 68821434 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4748 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:
69082589 loops (52172/sec), 20120054444 sampling steps, 69082295 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4748 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:
69343263 loops (52134/sec), 20195965168 sampling steps, 69342969 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4749 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:
69603702 loops (52087/sec), 20271826181 sampling steps, 69603408 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4750 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:
69864322 loops (52124/sec), 20347738386 sampling steps, 69864028 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4750 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:
70125527 loops (52241/sec), 20423824911 sampling steps, 70125233 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4750 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:
70386379 loops (52170/sec), 20499836512 sampling steps, 70386085 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4750 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:
70646071 loops (51938/sec), 20575474201 sampling steps, 70645777 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4751 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:
70905775 loops (51940/sec), 20651097534 sampling steps, 70905481 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4751 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:
71163241 loops (51493/sec), 20726077241 sampling steps, 71162947 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4751 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:
71423361 loops (52024/sec), 20801824930 sampling steps, 71423067 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4751 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:
71684511 loops (52230/sec), 20877901432 sampling steps, 71684217 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4751 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:
71945594 loops (52216/sec), 20953917989 sampling steps, 71945300 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4751 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:
72204970 loops (51875/sec), 21029482435 sampling steps, 72204676 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4751 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:
72465589 loops (52123/sec), 21105414591 sampling steps, 72465295 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4765 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:
72726787 loops (52239/sec), 21181481620 sampling steps, 72726493 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4765 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:
72988150 loops (52272/sec), 21257607000 sampling steps, 72987856 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4765 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:
73248789 loops (52127/sec), 21333532361 sampling steps, 73248495 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4765 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:
73509766 loops (52195/sec), 21409573811 sampling steps, 73509472 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4765 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:
73771167 loops (52280/sec), 21485687984 sampling steps, 73770873 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:16:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
74030214 loops (51809/sec), 21561149036 sampling steps, 74029920 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4776 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:
74287683 loops (51493/sec), 21636150596 sampling steps, 74287389 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4776 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:
74547553 loops (51974/sec), 21711843844 sampling steps, 74547259 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4776 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:
74808321 loops (52153/sec), 21787795723 sampling steps, 74808027 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4776 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:
75069155 loops (52166/sec), 21863753361 sampling steps, 75068861 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4778 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:
75329242 loops (52017/sec), 21939506484 sampling steps, 75328948 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4778 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:
75590379 loops (52227/sec), 22015540667 sampling steps, 75590085 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4778 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:
75851308 loops (52185/sec), 22091530225 sampling steps, 75851014 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4778 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:
76111880 loops (52114/sec), 22167408450 sampling steps, 76111586 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4779 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:
76372031 loops (52030/sec), 22243177199 sampling steps, 76371737 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4792 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:
76632847 loops (52163/sec), 22319144117 sampling steps, 76632552 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4802 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:
76892063 loops (51843/sec), 22394639096 sampling steps, 76891768 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4802 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:
77151470 loops (51881/sec), 22470179823 sampling steps, 77151175 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4802 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:
77408781 loops (51462/sec), 22545096284 sampling steps, 77408486 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4802 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:
77668676 loops (51979/sec), 22620796935 sampling steps, 77668381 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4802 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:
77929526 loops (52170/sec), 22696765590 sampling steps, 77929231 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4803 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:
78190506 loops (52196/sec), 22772745000 sampling steps, 78190211 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4803 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:
78451694 loops (52237/sec), 22848812338 sampling steps, 78451399 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4804 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:
78712523 loops (52165/sec), 22924821253 sampling steps, 78712228 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4804 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:
78973773 loops (52250/sec), 23000901828 sampling steps, 78973478 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4804 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:
79234134 loops (52072/sec), 23076772961 sampling steps, 79233839 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4804 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:
79494802 loops (52133/sec), 23152704561 sampling steps, 79494507 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4804 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:
79755388 loops (52117/sec), 23228585746 sampling steps, 79755093 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4808 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:
80015230 loops (51968/sec), 23304263644 sampling steps, 80014935 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4809 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:
80274249 loops (51803/sec), 23379729605 sampling steps, 80273954 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4809 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:
80531944 loops (51539/sec), 23454763282 sampling steps, 80531649 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4810 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:
80791844 loops (51980/sec), 23530469698 sampling steps, 80791549 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4810 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:
81052590 loops (52149/sec), 23606441287 sampling steps, 81052295 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4810 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:
81313608 loops (52203/sec), 23682452515 sampling steps, 81313313 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4810 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:
81572934 loops (51865/sec), 23757986833 sampling steps, 81572639 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4810 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:
81833754 loops (52164/sec), 23833948420 sampling steps, 81833459 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4810 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:
82094477 loops (52144/sec), 23909861812 sampling steps, 82094182 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4810 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:
82355433 loops (52191/sec), 23985880659 sampling steps, 82355138 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4810 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:
82616346 loops (52182/sec), 24061860379 sampling steps, 82616051 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4810 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:
82877014 loops (52133/sec), 24137802788 sampling steps, 82876719 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4811 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:
83137950 loops (52187/sec), 24213815068 sampling steps, 83137655 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4811 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:
83397681 loops (51946/sec), 24289434460 sampling steps, 83397386 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4811 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:
83655586 loops (51581/sec), 24364539778 sampling steps, 83655291 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4811 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:
83915879 loops (52058/sec), 24440356926 sampling steps, 83915584 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4811 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:
84177066 loops (52237/sec), 24516458409 sampling steps, 84176771 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4811 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:
84437636 loops (52114/sec), 24592330776 sampling steps, 84437341 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4811 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:
84697445 loops (51961/sec), 24667994865 sampling steps, 84697150 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4819 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:
84958758 loops (52262/sec), 24744096259 sampling steps, 84958463 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4819 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:
85219794 loops (52207/sec), 24820144765 sampling steps, 85219499 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4819 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:
85480936 loops (52228/sec), 24896200036 sampling steps, 85480641 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4819 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:
85741877 loops (52188/sec), 24972193517 sampling steps, 85741582 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4820 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:
86002741 loops (52172/sec), 25048167820 sampling steps, 86002446 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4821 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:
86262710 loops (51993/sec), 25123883494 sampling steps, 86262415 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4821 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:
86521871 loops (51832/sec), 25199360405 sampling steps, 86521576 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4823 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:
86779375 loops (51500/sec), 25274363971 sampling steps, 86779080 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4824 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:
87039222 loops (51969/sec), 25350040958 sampling steps, 87038926 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4834 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:
87300143 loops (52184/sec), 25426000012 sampling steps, 87299847 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4840 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:
87561138 loops (52199/sec), 25501996635 sampling steps, 87560842 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4840 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:
87821781 loops (52128/sec), 25577928298 sampling steps, 87821485 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
4840 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
----------
Computation aborted after 1800.0100181102753 seconds since the total time limit of 1800.0 seconds was exceeded.