Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:46:57 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/brp/brp.prism --const N=2048,MAX=5 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:47:00 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 1, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:47:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5909 loops (1181/sec), 41762800 sampling steps, 212 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
56221 explored states, 1 states in BSSCs (1 absorbing)
244 component updates, 2198058 transient state updates
Bounds: [0.0000+1.00000e+00]@[0.00000](244)
Sep 13, 2024 10:47:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7824 loops (382/sec), 65312144 sampling steps, 1036 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
62669 explored states, 1 states in BSSCs (1 absorbing)
1146 component updates, 13450094 transient state updates
Bounds: [5.0312e-08+1.00000e+00]@[0.00000](1146)
Sep 13, 2024 10:47:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9712 loops (377/sec), 88681080 sampling steps, 1941 aborted
loop condition 0.99976, exit probability 0.99975 in initial state
65994 explored states, 1 states in BSSCs (1 absorbing)
2058 component updates, 24863415 transient state updates
Bounds: [0.00024314+9.99757e-01]@[0.00000](2058)
Sep 13, 2024 10:47:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11621 loops (381/sec), 112390840 sampling steps, 2918 aborted
loop condition 0.98684, exit probability 0.98671 in initial state
68188 explored states, 1 states in BSSCs (1 absorbing)
2954 component updates, 36026627 transient state updates
Bounds: [0.013163+9.86837e-01]@[0.00000](2954)
Sep 13, 2024 10:47:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13516 loops (378/sec), 135956835 sampling steps, 3866 aborted
loop condition 0.90813, exit probability 0.90762 in initial state
69939 explored states, 1 states in BSSCs (1 absorbing)
3877 component updates, 47535511 transient state updates
Bounds: [0.091871+9.08129e-01]@[0.00000](3877)
Sep 13, 2024 10:47:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15413 loops (379/sec), 159549879 sampling steps, 4829 aborted
loop condition 0.80112, exit probability 0.80059 in initial state
71558 explored states, 1 states in BSSCs (1 absorbing)
4790 component updates, 58909159 transient state updates
Bounds: [0.19888+8.01119e-01]@[0.00000](4790)
Sep 13, 2024 10:47:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17292 loops (375/sec), 182903130 sampling steps, 5752 aborted
loop condition 0.71324, exit probability 0.71286 in initial state
72909 explored states, 1 states in BSSCs (1 absorbing)
5727 component updates, 70582240 transient state updates
Bounds: [0.28676+7.13244e-01]@[0.00000](5727)
Sep 13, 2024 10:47:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19157 loops (372/sec), 206110151 sampling steps, 6668 aborted
loop condition 0.64018, exit probability 0.63986 in initial state
74319 explored states, 1 states in BSSCs (1 absorbing)
6662 component updates, 82230731 transient state updates
Bounds: [0.35982+6.40178e-01]@[0.00000](6662)
Sep 13, 2024 10:47:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21044 loops (377/sec), 229575065 sampling steps, 7626 aborted
loop condition 0.57934, exit probability 0.57905 in initial state
75657 explored states, 1 states in BSSCs (1 absorbing)
7575 component updates, 93604891 transient state updates
Bounds: [0.42066+5.79338e-01]@[0.00000](7575)
Sep 13, 2024 10:47:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22924 loops (375/sec), 252934450 sampling steps, 8570 aborted
loop condition 0.52145, exit probability 0.52120 in initial state
76980 explored states, 1 states in BSSCs (1 absorbing)
8492 component updates, 105037621 transient state updates
Bounds: [0.47855+5.21455e-01]@[0.00000](8492)
Sep 13, 2024 10:47:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24767 loops (368/sec), 275877344 sampling steps, 9469 aborted
loop condition 0.46716, exit probability 0.46693 in initial state
78214 explored states, 1 states in BSSCs (1 absorbing)
9428 component updates, 116699903 transient state updates
Bounds: [0.53284+4.67161e-01]@[0.00000](9428)
Sep 13, 2024 10:47:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26665 loops (379/sec), 299440114 sampling steps, 10455 aborted
loop condition 0.42205, exit probability 0.42184 in initial state
79467 explored states, 1 states in BSSCs (1 absorbing)
10315 component updates, 127771837 transient state updates
Bounds: [0.57795+4.22051e-01]@[0.00000](10315)
Sep 13, 2024 10:48:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28560 loops (378/sec), 323030710 sampling steps, 11446 aborted
loop condition 0.38172, exit probability 0.38153 in initial state
80592 explored states, 1 states in BSSCs (1 absorbing)
11210 component updates, 138921848 transient state updates
Bounds: [0.61828+3.81723e-01]@[0.00000](11210)
Sep 13, 2024 10:48:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30427 loops (373/sec), 346253085 sampling steps, 12377 aborted
loop condition 0.34484, exit probability 0.34467 in initial state
81950 explored states, 1 states in BSSCs (1 absorbing)
12135 component updates, 150448771 transient state updates
Bounds: [0.65516+3.44838e-01]@[0.00000](12135)
Sep 13, 2024 10:48:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32286 loops (371/sec), 369350906 sampling steps, 13287 aborted
loop condition 0.31255, exit probability 0.31240 in initial state
83048 explored states, 1 states in BSSCs (1 absorbing)
13071 component updates, 162108739 transient state updates
Bounds: [0.68745+3.12553e-01]@[0.00000](13071)
Sep 13, 2024 10:48:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34160 loops (374/sec), 392657360 sampling steps, 14223 aborted
loop condition 0.28331, exit probability 0.28318 in initial state
84042 explored states, 1 states in BSSCs (1 absorbing)
13998 component updates, 173658073 transient state updates
Bounds: [0.71669+2.83313e-01]@[0.00000](13998)
Sep 13, 2024 10:48:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36041 loops (376/sec), 416039584 sampling steps, 15183 aborted
loop condition 0.25581, exit probability 0.25569 in initial state
85120 explored states, 1 states in BSSCs (1 absorbing)
14906 component updates, 184979992 transient state updates
Bounds: [0.74419+2.55805e-01]@[0.00000](14906)
Sep 13, 2024 10:48:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37950 loops (381/sec), 439776673 sampling steps, 16200 aborted
loop condition 0.23204, exit probability 0.23194 in initial state
86158 explored states, 1 states in BSSCs (1 absorbing)
15789 component updates, 195980723 transient state updates
Bounds: [0.76796+2.32042e-01]@[0.00000](15789)
Sep 13, 2024 10:48:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39869 loops (383/sec), 463651133 sampling steps, 17241 aborted
loop condition 0.21081, exit probability 0.21072 in initial state
87036 explored states, 1 states in BSSCs (1 absorbing)
16659 component updates, 206819374 transient state updates
Bounds: [0.78919+2.10810e-01]@[0.00000](16659)
Sep 13, 2024 10:48:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
41763 loops (378/sec), 487228691 sampling steps, 18234 aborted
loop condition 0.19373, exit probability 0.19365 in initial state
87818 explored states, 1 states in BSSCs (1 absorbing)
17555 component updates, 217982791 transient state updates
Bounds: [0.80627+1.93728e-01]@[0.00000](17555)
Sep 13, 2024 10:48:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43649 loops (377/sec), 510709565 sampling steps, 19210 aborted
loop condition 0.17873, exit probability 0.17866 in initial state
88649 explored states, 1 states in BSSCs (1 absorbing)
18459 component updates, 229244384 transient state updates
Bounds: [0.82127+1.78731e-01]@[0.00000](18459)
Sep 13, 2024 10:48:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45526 loops (375/sec), 534084553 sampling steps, 20162 aborted
loop condition 0.16399, exit probability 0.16394 in initial state
89541 explored states, 1 states in BSSCs (1 absorbing)
19378 component updates, 240692965 transient state updates
Bounds: [0.83601+1.63995e-01]@[0.00000](19378)
Sep 13, 2024 10:48:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47410 loops (376/sec), 557546908 sampling steps, 21117 aborted
loop condition 0.15281, exit probability 0.15276 in initial state
90128 explored states, 1 states in BSSCs (1 absorbing)
20303 component updates, 252225792 transient state updates
Bounds: [0.84719+1.52812e-01]@[0.00000](20303)
Sep 13, 2024 10:48:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49273 loops (372/sec), 580736354 sampling steps, 22039 aborted
loop condition 0.14177, exit probability 0.14173 in initial state
90750 explored states, 1 states in BSSCs (1 absorbing)
21239 component updates, 263885854 transient state updates
Bounds: [0.85823+1.41773e-01]@[0.00000](21239)
Sep 13, 2024 10:49:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51140 loops (373/sec), 603969387 sampling steps, 22978 aborted
loop condition 0.13219, exit probability 0.13215 in initial state
91357 explored states, 1 states in BSSCs (1 absorbing)
22162 component updates, 275384726 transient state updates
Bounds: [0.86781+1.32189e-01]@[0.00000](22162)
Sep 13, 2024 10:49:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53032 loops (378/sec), 627528331 sampling steps, 23976 aborted
loop condition 0.12549, exit probability 0.12545 in initial state
91982 explored states, 1 states in BSSCs (1 absorbing)
23051 component updates, 286460297 transient state updates
Bounds: [0.87451+1.25486e-01]@[0.00000](23051)
Sep 13, 2024 10:49:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
54890 loops (371/sec), 650662492 sampling steps, 24896 aborted
loop condition 0.11840, exit probability 0.11837 in initial state
92524 explored states, 1 states in BSSCs (1 absorbing)
23986 component updates, 298108445 transient state updates
Bounds: [0.88160+1.18403e-01]@[0.00000](23986)
Sep 13, 2024 10:49:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56783 loops (378/sec), 674233862 sampling steps, 25868 aborted
loop condition 0.11226, exit probability 0.11224 in initial state
93076 explored states, 1 states in BSSCs (1 absorbing)
24905 component updates, 309557695 transient state updates
Bounds: [0.88774+1.12264e-01]@[0.00000](24905)
Sep 13, 2024 10:49:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58641 loops (371/sec), 697359293 sampling steps, 26770 aborted
loop condition 0.10709, exit probability 0.10707 in initial state
93615 explored states, 1 states in BSSCs (1 absorbing)
25856 component updates, 321408098 transient state updates
Bounds: [0.89291+1.07093e-01]@[0.00000](25856)
Sep 13, 2024 10:49:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60548 loops (381/sec), 721110427 sampling steps, 27798 aborted
loop condition 0.10285, exit probability 0.10283 in initial state
94191 explored states, 1 states in BSSCs (1 absorbing)
26732 component updates, 332322398 transient state updates
Bounds: [0.89715+1.02845e-01]@[0.00000](26732)
Sep 13, 2024 10:49:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
62406 loops (371/sec), 744264875 sampling steps, 28717 aborted
loop condition 0.098793, exit probability 0.098775 in initial state
94657 explored states, 1 states in BSSCs (1 absorbing)
27671 component updates, 344019300 transient state updates
Bounds: [0.90121+9.87927e-02]@[0.00000](27671)
Sep 13, 2024 10:49:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
64295 loops (377/sec), 767793129 sampling steps, 29696 aborted
loop condition 0.095351, exit probability 0.095336 in initial state
95260 explored states, 1 states in BSSCs (1 absorbing)
28578 component updates, 355317851 transient state updates
Bounds: [0.90465+9.53510e-02]@[0.00000](28578)
Sep 13, 2024 10:49:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
66181 loops (377/sec), 791288071 sampling steps, 30671 aborted
loop condition 0.092328, exit probability 0.092315 in initial state
95735 explored states, 1 states in BSSCs (1 absorbing)
29487 component updates, 366642764 transient state updates
Bounds: [0.90767+9.23280e-02]@[0.00000](29487)
Sep 13, 2024 10:49:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
68084 loops (380/sec), 814995468 sampling steps, 31681 aborted
loop condition 0.089510, exit probability 0.089498 in initial state
96127 explored states, 1 states in BSSCs (1 absorbing)
30379 component updates, 377754767 transient state updates
Bounds: [0.91049+8.95096e-02]@[0.00000](30379)
Sep 13, 2024 10:49:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69965 loops (376/sec), 838437050 sampling steps, 32640 aborted
loop condition 0.087125, exit probability 0.087115 in initial state
96468 explored states, 1 states in BSSCs (1 absorbing)
31301 component updates, 389241012 transient state updates
Bounds: [0.91288+8.71250e-02]@[0.00000](31301)
Sep 13, 2024 10:49:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
71847 loops (376/sec), 861851875 sampling steps, 33609 aborted
loop condition 0.085138, exit probability 0.085129 in initial state
96912 explored states, 1 states in BSSCs (1 absorbing)
32209 component updates, 400553429 transient state updates
Bounds: [0.91486+8.51383e-02]@[0.00000](32209)
Sep 13, 2024 10:50:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
73721 loops (374/sec), 885190793 sampling steps, 34552 aborted
loop condition 0.083407, exit probability 0.083399 in initial state
97304 explored states, 1 states in BSSCs (1 absorbing)
33137 component updates, 412113725 transient state updates
Bounds: [0.91659+8.34066e-02]@[0.00000](33137)
Sep 13, 2024 10:50:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
75604 loops (376/sec), 908648540 sampling steps, 35524 aborted
loop condition 0.082012, exit probability 0.082005 in initial state
97671 explored states, 1 states in BSSCs (1 absorbing)
34047 component updates, 423450430 transient state updates
Bounds: [0.91799+8.20124e-02]@[0.00000](34047)
Sep 13, 2024 10:50:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77445 loops (368/sec), 931561121 sampling steps, 36446 aborted
loop condition 0.080439, exit probability 0.080433 in initial state
98017 explored states, 1 states in BSSCs (1 absorbing)
34962 component updates, 434848310 transient state updates
Bounds: [0.91956+8.04392e-02]@[0.00000](34962)
Sep 13, 2024 10:50:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
79306 loops (372/sec), 954750539 sampling steps, 37404 aborted
loop condition 0.078980, exit probability 0.078974 in initial state
98429 explored states, 1 states in BSSCs (1 absorbing)
35863 component updates, 446073853 transient state updates
Bounds: [0.92102+7.89798e-02]@[0.00000](35863)
Sep 13, 2024 10:50:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
81097 loops (358/sec), 977049162 sampling steps, 38338 aborted
loop condition 0.077718, exit probability 0.077713 in initial state
98756 explored states, 1 states in BSSCs (1 absorbing)
36718 component updates, 456725104 transient state updates
Bounds: [0.92228+7.77180e-02]@[0.00000](36718)
Sep 13, 2024 10:50:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
82853 loops (351/sec), 998931246 sampling steps, 39205 aborted
loop condition 0.076578, exit probability 0.076573 in initial state
99080 explored states, 1 states in BSSCs (1 absorbing)
37607 component updates, 467799939 transient state updates
Bounds: [0.92342+7.65777e-02]@[0.00000](37607)
Sep 13, 2024 10:50:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
84638 loops (356/sec), 1021176426 sampling steps, 40127 aborted
loop condition 0.075552, exit probability 0.075548 in initial state
99397 explored states, 1 states in BSSCs (1 absorbing)
38470 component updates, 478551455 transient state updates
Bounds: [0.92445+7.55520e-02]@[0.00000](38470)
Sep 13, 2024 10:50:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
86418 loops (356/sec), 1043357370 sampling steps, 41045 aborted
loop condition 0.074655, exit probability 0.074651 in initial state
99614 explored states, 1 states in BSSCs (1 absorbing)
39332 component updates, 489289153 transient state updates
Bounds: [0.92535+7.46546e-02]@[0.00000](39332)
Sep 13, 2024 10:50:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
88217 loops (359/sec), 1065758785 sampling steps, 41988 aborted
loop condition 0.073889, exit probability 0.073885 in initial state
99877 explored states, 1 states in BSSCs (1 absorbing)
40185 component updates, 499915746 transient state updates
Bounds: [0.92611+7.38886e-02]@[0.00000](40185)
Sep 13, 2024 10:50:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90017 loops (359/sec), 1088190863 sampling steps, 42952 aborted
loop condition 0.073243, exit probability 0.073240 in initial state
100174 explored states, 1 states in BSSCs (1 absorbing)
41021 component updates, 510330683 transient state updates
Bounds: [0.92676+7.32434e-02]@[0.00000](41021)
Sep 13, 2024 10:50:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
91788 loops (354/sec), 1110252856 sampling steps, 43845 aborted
loop condition 0.072596, exit probability 0.072593 in initial state
100432 explored states, 1 states in BSSCs (1 absorbing)
41898 component updates, 521256542 transient state updates
Bounds: [0.92740+7.25959e-02]@[0.00000](41898)
Sep 13, 2024 10:50:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
93574 loops (357/sec), 1132509354 sampling steps, 44768 aborted
loop condition 0.072046, exit probability 0.072043 in initial state
100596 explored states, 1 states in BSSCs (1 absorbing)
42761 component updates, 532006398 transient state updates
Bounds: [0.92795+7.20457e-02]@[0.00000](42761)
Sep 13, 2024 10:51:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
95332 loops (351/sec), 1154417650 sampling steps, 45636 aborted
loop condition 0.071378, exit probability 0.071376 in initial state
100787 explored states, 1 states in BSSCs (1 absorbing)
43651 component updates, 543094555 transient state updates
Bounds: [0.92862+7.13781e-02]@[0.00000](43651)
Sep 13, 2024 10:51:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
97127 loops (358/sec), 1176779310 sampling steps, 46600 aborted
loop condition 0.070874, exit probability 0.070871 in initial state
101061 explored states, 1 states in BSSCs (1 absorbing)
44480 component updates, 553422567 transient state updates
Bounds: [0.92913+7.08735e-02]@[0.00000](44480)
Sep 13, 2024 10:51:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
98909 loops (356/sec), 1198978657 sampling steps, 47522 aborted
loop condition 0.070231, exit probability 0.070229 in initial state
101365 explored states, 1 states in BSSCs (1 absorbing)
45339 component updates, 564124191 transient state updates
Bounds: [0.92977+7.02309e-02]@[0.00000](45339)
Sep 13, 2024 10:51:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
100665 loops (350/sec), 1220859979 sampling steps, 48397 aborted
loop condition 0.069731, exit probability 0.069729 in initial state
101513 explored states, 1 states in BSSCs (1 absorbing)
46220 component updates, 575099756 transient state updates
Bounds: [0.93027+6.97311e-02]@[0.00000](46220)
Sep 13, 2024 10:51:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
102422 loops (351/sec), 1242754145 sampling steps, 49283 aborted
loop condition 0.069304, exit probability 0.069302 in initial state
101785 explored states, 1 states in BSSCs (1 absorbing)
47090 component updates, 585937676 transient state updates
Bounds: [0.93070+6.93037e-02]@[0.00000](47090)
Sep 13, 2024 10:51:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
104185 loops (352/sec), 1264724495 sampling steps, 50173 aborted
loop condition 0.068887, exit probability 0.068886 in initial state
102045 explored states, 1 states in BSSCs (1 absorbing)
47963 component updates, 596813919 transient state updates
Bounds: [0.93111+6.88875e-02]@[0.00000](47963)
Sep 13, 2024 10:51:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
105946 loops (352/sec), 1286663597 sampling steps, 51070 aborted
loop condition 0.068443, exit probability 0.068442 in initial state
102238 explored states, 1 states in BSSCs (1 absorbing)
48826 component updates, 607565857 transient state updates
Bounds: [0.93156+6.84431e-02]@[0.00000](48826)
Sep 13, 2024 10:51:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
107716 loops (353/sec), 1308719979 sampling steps, 51982 aborted
loop condition 0.068063, exit probability 0.068061 in initial state
102455 explored states, 1 states in BSSCs (1 absorbing)
49684 component updates, 618253899 transient state updates
Bounds: [0.93194+6.80629e-02]@[0.00000](49684)
Sep 13, 2024 10:51:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
109468 loops (350/sec), 1330544581 sampling steps, 52856 aborted
loop condition 0.067697, exit probability 0.067695 in initial state
102654 explored states, 1 states in BSSCs (1 absorbing)
50561 component updates, 629180400 transient state updates
Bounds: [0.93230+6.76969e-02]@[0.00000](50561)
Sep 13, 2024 10:51:42 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 7, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:51:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
110432 loops (192/sec), 1342577830 sampling steps, 53443 aborted
loop condition 0.067513, exit probability 0.067511 in initial state
103279 explored states, 8 states in BSSCs (8 absorbing)
50934 component updates, 662001452 transient state updates
Bounds: [0.93249+6.75135e-02]@[0.00000](50712), [0.0000+6.75143e-02]@[0.00000](0), [1.6544e-19+6.75138e-02]@[0.00000](78), [0.0000+6.75162e-02]@[0.00000](0), [7.8973e-18+6.75135e-02]@[0.00000](93), [4.0609e-21+6.75141e-02]@[0.00000](51), [0.0000+6.75151e-02]@[0.00000](0), [0.0000+6.75144e-02]@[0.00000](0)
Sep 13, 2024 10:51:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
111377 loops (188/sec), 1354339583 sampling steps, 53998 aborted
loop condition 0.067260, exit probability 0.067255 in initial state
104413 explored states, 8 states in BSSCs (8 absorbing)
51316 component updates, 699775498 transient state updates
Bounds: [0.93274+6.72603e-02]@[0.00000](50815), [0.0000+6.72584e-02]@[0.00000](0), [1.8870e-14+6.72586e-02]@[0.00000](193), [5.4908e-28+6.72633e-02]@[0.00000](0), [6.8976e-13+6.72649e-02]@[0.00000](190), [5.0854e-16+6.72598e-02]@[0.00000](118), [0.0000+6.72623e-02]@[0.00000](0), [0.0000+6.72624e-02]@[0.00000](0)
Sep 13, 2024 10:51:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
112347 loops (193/sec), 1366349601 sampling steps, 54577 aborted
loop condition 0.066953, exit probability 0.066945 in initial state
105538 explored states, 8 states in BSSCs (8 absorbing)
51686 component updates, 736641232 transient state updates
Bounds: [0.93305+6.69531e-02]@[0.00000](50921), [1.6410e-39+6.69556e-02]@[0.00000](0), [2.1125e-11+6.69503e-02]@[0.00000](296), [1.0481e-22+6.69567e-02]@[0.00000](0), [7.6977e-10+6.69553e-02]@[0.00000](295), [5.9373e-13+6.69508e-02]@[0.00000](173), [4.9354e-95+6.69524e-02]@[0.00000](1), [0.0000+6.69582e-02]@[0.00000](0)
Sep 13, 2024 10:52:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113325 loops (195/sec), 1378421007 sampling steps, 55166 aborted
loop condition 0.066579, exit probability 0.066568 in initial state
106558 explored states, 8 states in BSSCs (8 absorbing)
52064 component updates, 773906971 transient state updates
Bounds: [0.93342+6.65789e-02]@[0.00000](51022), [7.5139e-25+6.65806e-02]@[0.00000](1), [2.4547e-09+6.65794e-02]@[0.00000](402), [1.4962e-19+6.65866e-02]@[0.00000](0), [8.8959e-08+6.65819e-02]@[0.00000](411), [7.0248e-11+6.65778e-02]@[0.00000](227), [2.4517e-26+6.65858e-02]@[0.00000](1), [0.0000+6.65989e-02]@[0.00000](0)
Sep 13, 2024 10:52:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
114314 loops (197/sec), 1390572248 sampling steps, 55765 aborted
loop condition 0.066189, exit probability 0.066173 in initial state
107747 explored states, 8 states in BSSCs (8 absorbing)
52435 component updates, 810641373 transient state updates
Bounds: [0.93381+6.61893e-02]@[0.00000](51134), [1.2666e-20+6.61904e-02]@[0.00000](1), [5.9425e-08+6.61902e-02]@[0.00000](498), [1.6773e-17+6.62038e-02]@[0.00000](0), [1.9496e-06+6.61975e-02]@[0.00000](532), [1.6726e-09+6.61911e-02]@[0.00000](269), [9.9928e-22+6.61959e-02]@[0.00000](1), [0.0000+6.62084e-02]@[0.00000](0)
Sep 13, 2024 10:52:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
115296 loops (196/sec), 1402607547 sampling steps, 56363 aborted
loop condition 0.065685, exit probability 0.065656 in initial state
108811 explored states, 8 states in BSSCs (8 absorbing)
52804 component updates, 847057378 transient state updates
Bounds: [0.93429+6.56846e-02]@[0.00000](51237), [4.7654e-18+6.56896e-02]@[0.00000](1), [6.4951e-07+6.56847e-02]@[0.00000](607), [5.6267e-16+6.57072e-02]@[0.00000](0), [2.1568e-05+6.56937e-02]@[0.00000](643), [1.9050e-08+6.56771e-02]@[0.00000](314), [4.5675e-19+6.56922e-02]@[0.00000](2), [0.0000+6.57129e-02]@[0.00000](0)
Sep 13, 2024 10:52:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
116340 loops (208/sec), 1415347278 sampling steps, 57036 aborted
loop condition 0.065116, exit probability 0.065071 in initial state
109908 explored states, 8 states in BSSCs (8 absorbing)
53163 component updates, 882457881 transient state updates
Bounds: [0.93476+6.51170e-02]@[0.00000](51341), [3.0246e-16+6.51314e-02]@[0.00000](1), [3.4551e-06+6.51104e-02]@[0.00000](700), [7.4942e-15+6.51559e-02]@[0.00000](0), [0.00011634+6.51250e-02]@[0.00000](774), [9.8847e-08+6.51132e-02]@[0.00000](345), [3.1354e-17+6.51208e-02]@[0.00000](2), [0.0000+6.51745e-02]@[0.00000](0)
Sep 13, 2024 10:52:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117391 loops (210/sec), 1428124146 sampling steps, 57713 aborted
loop condition 0.064167, exit probability 0.064083 in initial state
110969 explored states, 8 states in BSSCs (8 absorbing)
53526 component updates, 918242339 transient state updates
Bounds: [0.93533+6.41812e-02]@[0.00000](51453), [6.9706e-15+6.41950e-02]@[0.00000](1), [1.4266e-05+6.41517e-02]@[0.00000](810), [6.4854e-14+6.42445e-02]@[0.00000](0), [0.00048436+6.41668e-02]@[0.00000](889), [4.0129e-07+6.41945e-02]@[0.00000](370), [7.9066e-16+6.41875e-02]@[0.00000](2), [7.1160e-27+6.42520e-02]@[0.00000](1)
Sep 13, 2024 10:52:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
118408 loops (203/sec), 1440468873 sampling steps, 58344 aborted
loop condition 0.062674, exit probability 0.062543 in initial state
111971 explored states, 8 states in BSSCs (8 absorbing)
53901 component updates, 955121871 transient state updates
Bounds: [0.93594+6.27074e-02]@[0.00000](51581), [7.1666e-14+6.27439e-02]@[0.00000](1), [3.9108e-05+6.26883e-02]@[0.00000](923), [3.5464e-13+6.28086e-02]@[0.00000](0), [0.0013465+6.26657e-02]@[0.00000](992), [1.1373e-06+6.27224e-02]@[0.00000](401), [9.8564e-15+6.27256e-02]@[0.00000](2), [7.4025e-21+6.28329e-02]@[0.00000](1)
Sep 13, 2024 10:52:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
119424 loops (202/sec), 1452766360 sampling steps, 58967 aborted
loop condition 0.060308, exit probability 0.060108 in initial state
112921 explored states, 8 states in BSSCs (8 absorbing)
54279 component updates, 992449984 transient state updates
Bounds: [0.93674+6.03767e-02]@[0.00000](51691), [3.8682e-13+6.04405e-02]@[0.00000](1), [8.4047e-05+6.03143e-02]@[0.00000](1029), [1.2598e-12+6.05329e-02]@[0.00000](0), [0.0028681+6.02850e-02]@[0.00000](1107), [2.4430e-06+6.03935e-02]@[0.00000](448), [6.5182e-14+6.04492e-02]@[0.00000](2), [7.3807e-18+6.05434e-02]@[0.00000](1)
Sep 13, 2024 10:52:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
120485 loops (211/sec), 1465491614 sampling steps, 59650 aborted
loop condition 0.057572, exit probability 0.057281 in initial state
113921 explored states, 8 states in BSSCs (8 absorbing)
54639 component updates, 1027788541 transient state updates
Bounds: [0.93766+5.76663e-02]@[0.00000](51814), [1.3150e-12+5.76937e-02]@[0.00000](1), [0.00013648+5.75580e-02]@[0.00000](1126), [3.1414e-12+5.77896e-02]@[0.00000](0), [0.0046262+5.75360e-02]@[0.00000](1213), [3.9669e-06+5.77009e-02]@[0.00000](482), [2.9336e-13+5.76910e-02]@[0.00000](2), [6.1128e-16+5.77868e-02]@[0.00000](1)
Sep 13, 2024 10:52:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
121563 loops (215/sec), 1478395077 sampling steps, 60345 aborted
loop condition 0.054717, exit probability 0.054351 in initial state
114970 explored states, 8 states in BSSCs (8 absorbing)
55001 component updates, 1063287395 transient state updates
Bounds: [0.93867+5.48448e-02]@[0.00000](51921), [3.2029e-12+5.48061e-02]@[0.00000](1), [0.00018964+5.46828e-02]@[0.00000](1240), [6.0135e-12+5.49762e-02]@[0.00000](0), [0.0064167+5.46527e-02]@[0.00000](1327), [5.5534e-06+5.48285e-02]@[0.00000](509), [9.0968e-13+5.48593e-02]@[0.00000](2), [1.1348e-14+5.49464e-02]@[0.00000](1)
Sep 13, 2024 10:52:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
122602 loops (207/sec), 1490786597 sampling steps, 61009 aborted
loop condition 0.051814, exit probability 0.051379 in initial state
116074 explored states, 8 states in BSSCs (8 absorbing)
55366 component updates, 1099052438 transient state updates
Bounds: [0.93980+5.19231e-02]@[0.00000](52033), [6.2471e-12+5.19157e-02]@[0.00000](1), [0.00024255+5.16998e-02]@[0.00000](1347), [1.0004e-11+5.20649e-02]@[0.00000](0), [0.0081397+5.17525e-02]@[0.00000](1439), [7.1162e-06+5.18822e-02]@[0.00000](543), [2.2730e-12+5.19482e-02]@[0.00000](2), [9.3519e-14+5.20391e-02]@[0.00000](1)
Sep 13, 2024 10:52:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
123630 loops (205/sec), 1503026004 sampling steps, 61659 aborted
loop condition 0.048908, exit probability 0.048439 in initial state
117067 explored states, 8 states in BSSCs (8 absorbing)
55733 component updates, 1135110190 transient state updates
Bounds: [0.94099+4.90528e-02]@[0.00000](52163), [1.0473e-11+4.90182e-02]@[0.00000](1), [0.00029128+4.87904e-02]@[0.00000](1437), [1.4928e-11+4.91612e-02]@[0.00000](0), [0.0097985+4.88079e-02]@[0.00000](1548), [8.5711e-06+4.89907e-02]@[0.00000](581), [4.6970e-12+4.90546e-02]@[0.00000](2), [4.3521e-13+4.91676e-02]@[0.00000](1)
Sep 13, 2024 10:52:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
124681 loops (210/sec), 1515462757 sampling steps, 62333 aborted
loop condition 0.046021, exit probability 0.045480 in initial state
118026 explored states, 8 states in BSSCs (8 absorbing)
56094 component updates, 1170368152 transient state updates
Bounds: [0.94230+4.61700e-02]@[0.00000](52278), [1.5699e-11+4.61072e-02]@[0.00000](1), [0.00033744+4.58736e-02]@[0.00000](1534), [2.0766e-11+4.62619e-02]@[0.00000](0), [0.011336+4.59156e-02]@[0.00000](1670), [9.9662e-06+4.60557e-02]@[0.00000](608), [8.3706e-12+4.61115e-02]@[0.00000](2), [1.3145e-12+4.62671e-02]@[0.00000](1)
Sep 13, 2024 10:53:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
125724 loops (208/sec), 1527812981 sampling steps, 62995 aborted
loop condition 0.042893, exit probability 0.042263 in initial state
119006 explored states, 8 states in BSSCs (8 absorbing)
56459 component updates, 1206039819 transient state updates
Bounds: [0.94376+4.31245e-02]@[0.00000](52398), [2.2239e-11+4.29159e-02]@[0.00000](1), [0.00038492+4.27151e-02]@[0.00000](1630), [2.7892e-11+4.31272e-02]@[0.00000](0), [0.012954+4.27055e-02]@[0.00000](1783), [1.1389e-05+4.28914e-02]@[0.00000](644), [1.3147e-11+4.30075e-02]@[0.00000](2), [2.9455e-12+4.31331e-02]@[0.00000](1)
Sep 13, 2024 10:53:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
126739 loops (202/sec), 1539796947 sampling steps, 63630 aborted
loop condition 0.039645, exit probability 0.038990 in initial state
119837 explored states, 8 states in BSSCs (8 absorbing)
56828 component updates, 1242036926 transient state updates
Bounds: [0.94537+3.98669e-02]@[0.00000](52514), [3.0012e-11+3.97462e-02]@[0.00000](1), [0.00043181+3.94954e-02]@[0.00000](1733), [3.6286e-11+3.98845e-02]@[0.00000](0), [0.014542+3.94564e-02]@[0.00000](1906), [1.2791e-05+3.96671e-02]@[0.00000](670), [1.8634e-11+3.98992e-02]@[0.00000](3), [5.2201e-12+3.99419e-02]@[0.00000](1)
Sep 13, 2024 10:53:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
127779 loops (207/sec), 1552038779 sampling steps, 64296 aborted
loop condition 0.036921, exit probability 0.036228 in initial state
120655 explored states, 8 states in BSSCs (8 absorbing)
57190 component updates, 1277355998 transient state updates
Bounds: [0.94678+3.70983e-02]@[0.00000](52636), [3.8618e-11+3.70042e-02]@[0.00000](1), [0.00047032+3.67636e-02]@[0.00000](1816), [4.3944e-11+3.72259e-02]@[0.00000](0), [0.015813+3.67660e-02]@[0.00000](2032), [1.3902e-05+3.70254e-02]@[0.00000](701), [2.3717e-11+3.72053e-02]@[0.00000](3), [7.4676e-12+3.71908e-02]@[0.00000](1)
Sep 13, 2024 10:53:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
128821 loops (208/sec), 1564316165 sampling steps, 64962 aborted
loop condition 0.034021, exit probability 0.033296 in initial state
121432 explored states, 8 states in BSSCs (8 absorbing)
57562 component updates, 1313637334 transient state updates
Bounds: [0.94832+3.41920e-02]@[0.00000](52759), [4.9891e-11+3.41634e-02]@[0.00000](1), [0.00050981+3.38551e-02]@[0.00000](1933), [5.2805e-11+3.43302e-02]@[0.00000](0), [0.017133+3.38558e-02]@[0.00000](2138), [1.5089e-05+3.40925e-02]@[0.00000](727), [2.9188e-11+3.43433e-02]@[0.00000](3), [9.7690e-12+3.43159e-02]@[0.00000](1)
Sep 13, 2024 10:53:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
129837 loops (203/sec), 1576208308 sampling steps, 65585 aborted
loop condition 0.030983, exit probability 0.030151 in initial state
122372 explored states, 8 states in BSSCs (8 absorbing)
57939 component updates, 1350261942 transient state updates
Bounds: [0.94998+3.11361e-02]@[0.00000](52870), [6.4245e-11+3.10406e-02]@[0.00000](1), [0.00055029+3.07632e-02]@[0.00000](2043), [6.2486e-11+3.12638e-02]@[0.00000](0), [0.018467+3.08159e-02]@[0.00000](2259), [1.6302e-05+3.09904e-02]@[0.00000](762), [3.5087e-11+3.12499e-02]@[0.00000](3), [1.1977e-11+3.12210e-02]@[0.00000](1)
Sep 13, 2024 10:53:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
130860 loops (204/sec), 1588137834 sampling steps, 66227 aborted
loop condition 0.028196, exit probability 0.027309 in initial state
123334 explored states, 8 states in BSSCs (8 absorbing)
58310 component updates, 1386176899 transient state updates
Bounds: [0.95154+2.83354e-02]@[0.00000](52993), [7.9350e-11+2.82368e-02]@[0.00000](2), [0.00058639+2.79372e-02]@[0.00000](2153), [7.1920e-11+2.85005e-02]@[0.00000](0), [0.019665+2.80314e-02]@[0.00000](2373), [1.7385e-05+2.81622e-02]@[0.00000](785), [4.0886e-11+2.85000e-02]@[0.00000](3), [1.3886e-11+2.84435e-02]@[0.00000](1)
Sep 13, 2024 10:53:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
131916 loops (211/sec), 1600386566 sampling steps, 66918 aborted
loop condition 0.025578, exit probability 0.024670 in initial state
124127 explored states, 8 states in BSSCs (8 absorbing)
58670 component updates, 1420874186 transient state updates
Bounds: [0.95302+2.57374e-02]@[0.00000](53097), [9.4139e-11+2.56707e-02]@[0.00000](2), [0.00061896+2.52774e-02]@[0.00000](2256), [8.1118e-11+2.58642e-02]@[0.00000](0), [0.020764+2.53736e-02]@[0.00000](2489), [1.8343e-05+2.55640e-02]@[0.00000](822), [4.6774e-11+2.59343e-02]@[0.00000](3), [1.5569e-11+2.58729e-02]@[0.00000](1)
Sep 13, 2024 10:53:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
132985 loops (213/sec), 1612686191 sampling steps, 67621 aborted
loop condition 0.023344, exit probability 0.022365 in initial state
125005 explored states, 8 states in BSSCs (8 absorbing)
59025 component updates, 1455224215 transient state updates
Bounds: [0.95435+2.35005e-02]@[0.00000](53221), [1.0829e-10+2.34036e-02]@[0.00000](2), [0.00064563+2.29740e-02]@[0.00000](2353), [8.9096e-11+2.36217e-02]@[0.00000](0), [0.021639+2.31236e-02]@[0.00000](2599), [1.9133e-05+2.32838e-02]@[0.00000](846), [5.2526e-11+2.36631e-02]@[0.00000](3), [1.7089e-11+2.35650e-02]@[0.00000](1)
Sep 13, 2024 10:53:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
134012 loops (205/sec), 1624496336 sampling steps, 68258 aborted
loop condition 0.021085, exit probability 0.020077 in initial state
125909 explored states, 8 states in BSSCs (8 absorbing)
59395 component updates, 1490849836 transient state updates
Bounds: [0.95573+2.12293e-02]@[0.00000](53322), [1.2289e-10+2.11992e-02]@[0.00000](2), [0.00067097+2.07178e-02]@[0.00000](2474), [9.7203e-11+2.13112e-02]@[0.00000](0), [0.022494+2.08540e-02]@[0.00000](2721), [1.9886e-05+2.10414e-02]@[0.00000](872), [5.9036e-11+2.13603e-02]@[0.00000](3), [1.8675e-11+2.13393e-02]@[0.00000](1)
Sep 13, 2024 10:53:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
135086 loops (214/sec), 1636764875 sampling steps, 68978 aborted
loop condition 0.019147, exit probability 0.018070 in initial state
126846 explored states, 8 states in BSSCs (8 absorbing)
59739 component updates, 1523708192 transient state updates
Bounds: [0.95693+1.92656e-02]@[0.00000](53439), [1.3653e-10+1.93010e-02]@[0.00000](2), [0.00069240+1.87696e-02]@[0.00000](2579), [1.0390e-10+1.94103e-02]@[0.00000](0), [0.023209+1.89336e-02]@[0.00000](2823), [2.0527e-05+1.91018e-02]@[0.00000](892), [6.5710e-11+1.94067e-02]@[0.00000](3), [2.0397e-11+1.93303e-02]@[0.00000](1)
Sep 13, 2024 10:53:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
136151 loops (213/sec), 1648823134 sampling steps, 69687 aborted
loop condition 0.017149, exit probability 0.016058 in initial state
127664 explored states, 8 states in BSSCs (8 absorbing)
60089 component updates, 1556908625 transient state updates
Bounds: [0.95821+1.72306e-02]@[0.00000](53554), [1.5220e-10+1.73554e-02]@[0.00000](2), [0.00071355+1.67655e-02]@[0.00000](2679), [1.1091e-10+1.74311e-02]@[0.00000](0), [0.023911+1.69776e-02]@[0.00000](2930), [2.1164e-05+1.70941e-02]@[0.00000](920), [7.4336e-11+1.74825e-02]@[0.00000](3), [2.2515e-11+1.73853e-02]@[0.00000](1)
Sep 13, 2024 10:53:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
137167 loops (202/sec), 1660380805 sampling steps, 70327 aborted
loop condition 0.015246, exit probability 0.014117 in initial state
128368 explored states, 8 states in BSSCs (8 absorbing)
60460 component updates, 1592008305 transient state updates
Bounds: [0.95942+1.53169e-02]@[0.00000](53683), [1.6768e-10+1.55159e-02]@[0.00000](2), [0.00073390+1.47864e-02]@[0.00000](2784), [1.1755e-10+1.55375e-02]@[0.00000](0), [0.024576+1.50785e-02]@[0.00000](3052), [2.1760e-05+1.51682e-02]@[0.00000](935), [8.4920e-11+1.55912e-02]@[0.00000](3), [2.4971e-11+1.54424e-02]@[0.00000](1)
Sep 13, 2024 10:54:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
138230 loops (212/sec), 1672488691 sampling steps, 71023 aborted
loop condition 0.013767, exit probability 0.012594 in initial state
129216 explored states, 8 states in BSSCs (8 absorbing)
60819 component updates, 1625553445 transient state updates
Bounds: [0.96040+1.38316e-02]@[0.00000](53797), [1.8163e-10+1.39732e-02]@[0.00000](2), [0.00074932+1.32172e-02]@[0.00000](2887), [1.2297e-10+1.40215e-02]@[0.00000](0), [0.025066+1.35973e-02]@[0.00000](3165), [2.2225e-05+1.35974e-02]@[0.00000](964), [9.5689e-11+1.40941e-02]@[0.00000](3), [2.7167e-11+1.39471e-02]@[0.00000](1)
Sep 13, 2024 10:54:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
139265 loops (206/sec), 1684233457 sampling steps, 71668 aborted
loop condition 0.012375, exit probability 0.011157 in initial state
129868 explored states, 8 states in BSSCs (8 absorbing)
61199 component updates, 1660740708 transient state updates
Bounds: [0.96130+1.24503e-02]@[0.00000](53937), [1.9454e-10+1.26366e-02]@[0.00000](2), [0.00076372+1.17407e-02]@[0.00000](2985), [1.2818e-10+1.26192e-02]@[0.00000](0), [0.025537+1.21593e-02]@[0.00000](3286), [2.2643e-05+1.21648e-02]@[0.00000](985), [1.0825e-10+1.26310e-02]@[0.00000](3), [2.9385e-11+1.25538e-02]@[0.00000](1)
Sep 13, 2024 10:54:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
140378 loops (222/sec), 1696732425 sampling steps, 72412 aborted
loop condition 0.011126, exit probability 0.0098923 in initial state
130579 explored states, 8 states in BSSCs (8 absorbing)
61559 component updates, 1693806494 transient state updates
Bounds: [0.96213+1.11922e-02]@[0.00000](54052), [2.0680e-10+1.14379e-02]@[0.00000](2), [0.00077575+1.04877e-02]@[0.00000](3072), [1.3259e-10+1.14460e-02]@[0.00000](0), [0.025948+1.09045e-02]@[0.00000](3422), [2.2993e-05+1.09488e-02]@[0.00000](1007), [1.2072e-10+1.13229e-02]@[0.00000](3), [3.1530e-11+1.12706e-02]@[0.00000](1)
Sep 13, 2024 10:54:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
141508 loops (225/sec), 1709310283 sampling steps, 73177 aborted
loop condition 0.0099816, exit probability 0.0087349 in initial state
131399 explored states, 8 states in BSSCs (8 absorbing)
61915 component updates, 1726370417 transient state updates
Bounds: [0.96292+1.00306e-02]@[0.00000](54152), [2.2003e-10+1.02438e-02]@[0.00000](2), [0.00078617+9.31511e-03]@[0.00000](3180), [1.3693e-10+1.02993e-02]@[0.00000](0), [0.026286+9.77856e-03]@[0.00000](3538), [2.3298e-05+9.80098e-03]@[0.00000](1039), [1.3259e-10+1.01594e-02]@[0.00000](3), [3.3533e-11+1.01537e-02]@[0.00000](1)
Sep 13, 2024 10:54:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
142602 loops (218/sec), 1721512998 sampling steps, 73898 aborted
loop condition 0.0090791, exit probability 0.0077889 in initial state
132030 explored states, 8 states in BSSCs (8 absorbing)
62283 component updates, 1759658096 transient state updates
Bounds: [0.96355+9.13187e-03]@[0.00000](54278), [2.3142e-10+9.30401e-03]@[0.00000](2), [0.00079440+8.35894e-03]@[0.00000](3274), [1.4067e-10+9.34919e-03]@[0.00000](0), [0.026555+8.85929e-03]@[0.00000](3659), [2.3550e-05+8.84139e-03]@[0.00000](1066), [1.4212e-10+9.28279e-03]@[0.00000](3), [3.5481e-11+9.20960e-03]@[0.00000](1)
Sep 13, 2024 10:54:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
143716 loops (222/sec), 1733793830 sampling steps, 74636 aborted
loop condition 0.0082021, exit probability 0.0068901 in initial state
132700 explored states, 8 states in BSSCs (8 absorbing)
62649 component updates, 1792509745 transient state updates
Bounds: [0.96415+8.24596e-03]@[0.00000](54403), [2.4200e-10+8.46872e-03]@[0.00000](2), [0.00080246+7.45001e-03]@[0.00000](3365), [1.4414e-10+8.47215e-03]@[0.00000](0), [0.026819+7.97876e-03]@[0.00000](3788), [2.3801e-05+7.90324e-03]@[0.00000](1087), [1.5176e-10+8.36780e-03]@[0.00000](3), [3.7591e-11+8.30090e-03]@[0.00000](1)
Sep 13, 2024 10:54:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144826 loops (221/sec), 1746041927 sampling steps, 75369 aborted
loop condition 0.0074962, exit probability 0.0061502 in initial state
133376 explored states, 8 states in BSSCs (8 absorbing)
63022 component updates, 1825325236 transient state updates
Bounds: [0.96465+7.54961e-03]@[0.00000](54546), [2.5263e-10+7.67770e-03]@[0.00000](2), [0.00080882+6.68148e-03]@[0.00000](3453), [1.4723e-10+7.69213e-03]@[0.00000](0), [0.027025+7.23406e-03]@[0.00000](3906), [2.3991e-05+7.14581e-03]@[0.00000](1111), [1.5984e-10+7.64693e-03]@[0.00000](3), [3.9768e-11+7.52578e-03]@[0.00000](1)
Sep 13, 2024 10:54:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
145924 loops (219/sec), 1758202672 sampling steps, 76094 aborted
loop condition 0.0068785, exit probability 0.0055177 in initial state
133960 explored states, 8 states in BSSCs (8 absorbing)
63391 component updates, 1857594350 transient state updates
Bounds: [0.96509+6.92310e-03]@[0.00000](54651), [2.6202e-10+7.04129e-03]@[0.00000](2), [0.00081431+6.02326e-03]@[0.00000](3562), [1.4992e-10+7.03606e-03]@[0.00000](0), [0.027196+6.61935e-03]@[0.00000](4033), [2.4150e-05+6.51633e-03]@[0.00000](1139), [1.6720e-10+7.01881e-03]@[0.00000](3), [4.2129e-11+6.89889e-03]@[0.00000](1)
Sep 13, 2024 10:54:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
147059 loops (226/sec), 1770573025 sampling steps, 76857 aborted
loop condition 0.0063630, exit probability 0.0049939 in initial state
134568 explored states, 8 states in BSSCs (8 absorbing)
63759 component updates, 1889265882 transient state updates
Bounds: [0.96545+6.40872e-03]@[0.00000](54775), [2.7057e-10+6.50560e-03]@[0.00000](2), [0.00081882+5.47457e-03]@[0.00000](3661), [1.5214e-10+6.50780e-03]@[0.00000](0), [0.027344+6.08460e-03]@[0.00000](4162), [2.4290e-05+5.95491e-03]@[0.00000](1155), [1.7396e-10+6.48316e-03]@[0.00000](3), [4.4576e-11+6.38770e-03]@[0.00000](1)
Sep 13, 2024 10:54:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
148158 loops (219/sec), 1782710821 sampling steps, 77586 aborted
loop condition 0.0059175, exit probability 0.0045746 in initial state
135018 explored states, 8 states in BSSCs (8 absorbing)
64129 component updates, 1921111907 transient state updates
Bounds: [0.96577+5.95489e-03]@[0.00000](54904), [2.7837e-10+6.04412e-03]@[0.00000](2), [0.00082218+5.04426e-03]@[0.00000](3760), [1.5424e-10+6.02630e-03]@[0.00000](0), [0.027462+5.65519e-03]@[0.00000](4275), [2.4398e-05+5.50522e-03]@[0.00000](1184), [1.8035e-10+6.02201e-03]@[0.00000](3), [4.7109e-11+5.98773e-03]@[0.00000](1)
Sep 13, 2024 10:54:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
149255 loops (219/sec), 1794736583 sampling steps, 78306 aborted
loop condition 0.0055200, exit probability 0.0042040 in initial state
135553 explored states, 8 states in BSSCs (8 absorbing)
64504 component updates, 1952777126 transient state updates
Bounds: [0.96606+5.55664e-03]@[0.00000](55035), [2.8540e-10+5.65349e-03]@[0.00000](2), [0.00082532+4.65712e-03]@[0.00000](3853), [1.5611e-10+5.62387e-03]@[0.00000](0), [0.027574+5.26029e-03]@[0.00000](4407), [2.4484e-05+5.15568e-03]@[0.00000](1203), [1.8663e-10+5.61327e-03]@[0.00000](3), [5.0214e-11+5.59818e-03]@[0.00000](1)
Sep 13, 2024 10:54:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150393 loops (227/sec), 1807043410 sampling steps, 79070 aborted
loop condition 0.0051627, exit probability 0.0038765 in initial state
136140 explored states, 8 states in BSSCs (8 absorbing)
64873 component updates, 1983266692 transient state updates
Bounds: [0.96631+5.18939e-03]@[0.00000](55170), [2.9254e-10+5.29673e-03]@[0.00000](2), [0.00082829+4.30586e-03]@[0.00000](3934), [1.5774e-10+5.28171e-03]@[0.00000](0), [0.027670+4.92546e-03]@[0.00000](4536), [2.4573e-05+4.81792e-03]@[0.00000](1227), [1.9270e-10+5.27397e-03]@[0.00000](3), [5.4028e-11+5.25732e-03]@[0.00000](1)
Sep 13, 2024 10:55:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
151518 loops (225/sec), 1819173198 sampling steps, 79816 aborted
loop condition 0.0048718, exit probability 0.0035913 in initial state
136696 explored states, 8 states in BSSCs (8 absorbing)
65246 component updates, 2013747643 transient state updates
Bounds: [0.96652+4.90483e-03]@[0.00000](55294), [2.9940e-10+4.99430e-03]@[0.00000](2), [0.00083062+4.02288e-03]@[0.00000](4031), [1.5917e-10+5.00255e-03]@[0.00000](0), [0.027756+4.62324e-03]@[0.00000](4662), [2.4654e-05+4.49397e-03]@[0.00000](1253), [1.9922e-10+4.96205e-03]@[0.00000](3), [5.8754e-11+4.96182e-03]@[0.00000](1)
Sep 13, 2024 10:55:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
152698 loops (235/sec), 1831733955 sampling steps, 80624 aborted
loop condition 0.0045964, exit probability 0.0033301 in initial state
137291 explored states, 8 states in BSSCs (8 absorbing)
65612 component updates, 2043500504 transient state updates
Bounds: [0.96670+4.64521e-03]@[0.00000](55421), [3.0563e-10+4.70438e-03]@[0.00000](2), [0.00083269+3.76396e-03]@[0.00000](4121), [1.6045e-10+4.74539e-03]@[0.00000](0), [0.027845+4.31355e-03]@[0.00000](4795), [2.4720e-05+4.22064e-03]@[0.00000](1269), [2.0490e-10+4.69827e-03]@[0.00000](3), [6.3920e-11+4.68371e-03]@[0.00000](1)
Sep 13, 2024 10:55:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
153848 loops (230/sec), 1844145325 sampling steps, 81403 aborted
loop condition 0.0043522, exit probability 0.0031045 in initial state
137853 explored states, 8 states in BSSCs (8 absorbing)
65980 component updates, 2072761006 transient state updates
Bounds: [0.96687+4.40751e-03]@[0.00000](55563), [3.1171e-10+4.46424e-03]@[0.00000](2), [0.00083473+3.51180e-03]@[0.00000](4202), [1.6180e-10+4.48938e-03]@[0.00000](0), [0.027921+4.05050e-03]@[0.00000](4923), [2.4778e-05+3.98281e-03]@[0.00000](1286), [2.1107e-10+4.44008e-03]@[0.00000](3), [6.9264e-11+4.45305e-03]@[0.00000](1)
Sep 13, 2024 10:55:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
154970 loops (224/sec), 1856149716 sampling steps, 82142 aborted
loop condition 0.0041447, exit probability 0.0029072 in initial state
138239 explored states, 8 states in BSSCs (8 absorbing)
66360 component updates, 2102904719 transient state updates
Bounds: [0.96701+4.20652e-03]@[0.00000](55710), [3.1781e-10+4.22850e-03]@[0.00000](2), [0.00083632+3.31763e-03]@[0.00000](4293), [1.6297e-10+4.27250e-03]@[0.00000](0), [0.027985+3.81887e-03]@[0.00000](5042), [2.4833e-05+3.75941e-03]@[0.00000](1308), [2.1652e-10+4.22869e-03]@[0.00000](4), [7.4199e-11+4.24579e-03]@[0.00000](1)
Sep 13, 2024 10:55:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
156098 loops (225/sec), 1868274972 sampling steps, 82889 aborted
loop condition 0.0039408, exit probability 0.0027300 in initial state
138669 explored states, 8 states in BSSCs (8 absorbing)
66738 component updates, 2132111070 transient state updates
Bounds: [0.96716+3.99189e-03]@[0.00000](55845), [3.2362e-10+4.01104e-03]@[0.00000](2), [0.00083788+3.12270e-03]@[0.00000](4399), [1.6391e-10+4.10949e-03]@[0.00000](0), [0.028037+3.63370e-03]@[0.00000](5164), [2.4883e-05+3.55696e-03]@[0.00000](1323), [2.2161e-10+4.04620e-03]@[0.00000](4), [7.9105e-11+4.04967e-03]@[0.00000](1)
Sep 13, 2024 10:55:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
157264 loops (233/sec), 1880687565 sampling steps, 83681 aborted
loop condition 0.0037588, exit probability 0.0025567 in initial state
139140 explored states, 8 states in BSSCs (8 absorbing)
67112 component updates, 2160805476 transient state updates
Bounds: [0.96728+3.81904e-03]@[0.00000](55987), [3.2895e-10+3.82134e-03]@[0.00000](2), [0.00083945+2.93369e-03]@[0.00000](4488), [1.6505e-10+3.90691e-03]@[0.00000](0), [0.028095+3.42174e-03]@[0.00000](5287), [2.4934e-05+3.34617e-03]@[0.00000](1343), [2.2655e-10+3.87536e-03]@[0.00000](4), [8.3540e-11+3.84993e-03]@[0.00000](1)
Sep 13, 2024 10:55:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
158435 loops (234/sec), 1893041369 sampling steps, 84472 aborted
loop condition 0.0035980, exit probability 0.0024068 in initial state
139539 explored states, 8 states in BSSCs (8 absorbing)
67490 component updates, 2188813149 transient state updates
Bounds: [0.96740+3.65558e-03]@[0.00000](56142), [3.3375e-10+3.65304e-03]@[0.00000](2), [0.00084072+2.78337e-03]@[0.00000](4573), [1.6595e-10+3.75228e-03]@[0.00000](0), [0.028140+3.25202e-03]@[0.00000](5400), [2.4972e-05+3.18685e-03]@[0.00000](1368), [2.3056e-10+3.73420e-03]@[0.00000](4), [8.7180e-11+3.69331e-03]@[0.00000](1)
Sep 13, 2024 10:55:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
159571 loops (227/sec), 1905091134 sampling steps, 85217 aborted
loop condition 0.0034582, exit probability 0.0022711 in initial state
139889 explored states, 8 states in BSSCs (8 absorbing)
67879 component updates, 2217520659 transient state updates
Bounds: [0.96750+3.51267e-03]@[0.00000](56279), [3.3820e-10+3.50128e-03]@[0.00000](2), [0.00084182+2.65257e-03]@[0.00000](4683), [1.6680e-10+3.60551e-03]@[0.00000](0), [0.028177+3.10987e-03]@[0.00000](5519), [2.5008e-05+3.03417e-03]@[0.00000](1391), [2.3463e-10+3.59503e-03]@[0.00000](4), [9.0456e-11+3.54981e-03]@[0.00000](1)
Sep 13, 2024 10:55:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
160726 loops (230/sec), 1917194464 sampling steps, 85979 aborted
loop condition 0.0033330, exit probability 0.0021550 in initial state
140303 explored states, 8 states in BSSCs (8 absorbing)
68270 component updates, 2245745339 transient state updates
Bounds: [0.96759+3.38162e-03]@[0.00000](56412), [3.4206e-10+3.36734e-03]@[0.00000](2), [0.00084294+2.50773e-03]@[0.00000](4793), [1.6765e-10+3.44478e-03]@[0.00000](0), [0.028207+2.98988e-03]@[0.00000](5634), [2.5037e-05+2.90409e-03]@[0.00000](1424), [2.3856e-10+3.45380e-03]@[0.00000](4), [9.3476e-11+3.40715e-03]@[0.00000](1)
Sep 13, 2024 10:55:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
161914 loops (237/sec), 1929762328 sampling steps, 86785 aborted
loop condition 0.0032222, exit probability 0.0020535 in initial state
140682 explored states, 8 states in BSSCs (8 absorbing)
68651 component updates, 2272533977 transient state updates
Bounds: [0.96767+3.26563e-03]@[0.00000](56547), [3.4555e-10+3.25792e-03]@[0.00000](2), [0.00084369+2.41869e-03]@[0.00000](4875), [1.6836e-10+3.32563e-03]@[0.00000](0), [0.028234+2.88394e-03]@[0.00000](5768), [2.5069e-05+2.77593e-03]@[0.00000](1454), [2.4191e-10+3.34103e-03]@[0.00000](4), [9.6144e-11+3.29006e-03]@[0.00000](1)
Sep 13, 2024 10:55:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
163080 loops (232/sec), 1942000885 sampling steps, 87562 aborted
loop condition 0.0031099, exit probability 0.0019583 in initial state
141014 explored states, 8 states in BSSCs (8 absorbing)
69037 component updates, 2300007000 transient state updates
Bounds: [0.96776+3.15309e-03]@[0.00000](56687), [3.4944e-10+3.13408e-03]@[0.00000](2), [0.00084462+2.30964e-03]@[0.00000](4956), [1.6907e-10+3.20976e-03]@[0.00000](0), [0.028264+2.76639e-03]@[0.00000](5902), [2.5097e-05+2.65946e-03]@[0.00000](1485), [2.4557e-10+3.21646e-03]@[0.00000](4), [9.8976e-11+3.17186e-03]@[0.00000](1)
Sep 13, 2024 10:55:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
164289 loops (241/sec), 1954706736 sampling steps, 88390 aborted
loop condition 0.0030023, exit probability 0.0018627 in initial state
141344 explored states, 8 states in BSSCs (8 absorbing)
69417 component updates, 2326129196 transient state updates
Bounds: [0.96783+3.04207e-03]@[0.00000](56834), [3.5266e-10+3.03617e-03]@[0.00000](2), [0.00084541+2.21898e-03]@[0.00000](5038), [1.6984e-10+3.07166e-03]@[0.00000](0), [0.028293+2.66153e-03]@[0.00000](6037), [2.5123e-05+2.55202e-03]@[0.00000](1501), [2.4893e-10+3.10284e-03]@[0.00000](4), [1.0158e-10+3.07429e-03]@[0.00000](1)
Sep 13, 2024 10:56:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
165486 loops (239/sec), 1967162719 sampling steps, 89206 aborted
loop condition 0.0029077, exit probability 0.0017787 in initial state
141640 explored states, 8 states in BSSCs (8 absorbing)
69798 component updates, 2352742044 transient state updates
Bounds: [0.96790+2.94161e-03]@[0.00000](56971), [3.5620e-10+2.93468e-03]@[0.00000](2), [0.00084605+2.14313e-03]@[0.00000](5134), [1.7042e-10+2.97770e-03]@[0.00000](0), [0.028316+2.56917e-03]@[0.00000](6160), [2.5146e-05+2.45327e-03]@[0.00000](1526), [2.5201e-10+3.01267e-03]@[0.00000](4), [1.0418e-10+2.98916e-03]@[0.00000](1)
Sep 13, 2024 10:56:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
166659 loops (234/sec), 1979537986 sampling steps, 89992 aborted
loop condition 0.0028285, exit probability 0.0017060 in initial state
141927 explored states, 8 states in BSSCs (8 absorbing)
70185 component updates, 2378719882 transient state updates
Bounds: [0.96796+2.86019e-03]@[0.00000](57118), [3.5889e-10+2.86464e-03]@[0.00000](2), [0.00084661+2.07246e-03]@[0.00000](5233), [1.7095e-10+2.89482e-03]@[0.00000](0), [0.028338+2.48878e-03]@[0.00000](6275), [2.5164e-05+2.37605e-03]@[0.00000](1552), [2.5523e-10+2.93608e-03]@[0.00000](4), [1.0682e-10+2.91353e-03]@[0.00000](1)
Sep 13, 2024 10:56:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
167836 loops (235/sec), 1991753805 sampling steps, 90769 aborted
loop condition 0.0027486, exit probability 0.0016402 in initial state
142149 explored states, 8 states in BSSCs (8 absorbing)
70584 component updates, 2405221854 transient state updates
Bounds: [0.96802+2.77879e-03]@[0.00000](57272), [3.6174e-10+2.78913e-03]@[0.00000](2), [0.00084712+2.01038e-03]@[0.00000](5325), [1.7148e-10+2.81238e-03]@[0.00000](0), [0.028359+2.41248e-03]@[0.00000](6404), [2.5182e-05+2.30014e-03]@[0.00000](1576), [2.5877e-10+2.86324e-03]@[0.00000](4), [1.0971e-10+2.84101e-03]@[0.00000](1)
Sep 13, 2024 10:56:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
169061 loops (244/sec), 2004423829 sampling steps, 91607 aborted
loop condition 0.0026647, exit probability 0.0015812 in initial state
142444 explored states, 8 states in BSSCs (8 absorbing)
70971 component updates, 2430405426 transient state updates
Bounds: [0.96809+2.68852e-03]@[0.00000](57414), [3.6450e-10+2.71961e-03]@[0.00000](2), [0.00084762+1.95146e-03]@[0.00000](5420), [1.7200e-10+2.72880e-03]@[0.00000](0), [0.028377+2.34569e-03]@[0.00000](6538), [2.5200e-05+2.22938e-03]@[0.00000](1592), [2.6278e-10+2.79794e-03]@[0.00000](4), [1.1297e-10+2.75993e-03]@[0.00000](1)
Sep 13, 2024 10:56:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
170233 loops (234/sec), 2016718033 sampling steps, 92380 aborted
loop condition 0.0025958, exit probability 0.0015278 in initial state
142692 explored states, 8 states in BSSCs (8 absorbing)
71369 component updates, 2456056653 transient state updates
Bounds: [0.96814+2.61500e-03]@[0.00000](57571), [3.6661e-10+2.66657e-03]@[0.00000](2), [0.00084810+1.89719e-03]@[0.00000](5513), [1.7246e-10+2.65591e-03]@[0.00000](0), [0.028394+2.28787e-03]@[0.00000](6661), [2.5214e-05+2.17200e-03]@[0.00000](1617), [2.6749e-10+2.73199e-03]@[0.00000](4), [1.1612e-10+2.68516e-03]@[0.00000](1)
Sep 13, 2024 10:56:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
171426 loops (238/sec), 2029061521 sampling steps, 93176 aborted
loop condition 0.0025238, exit probability 0.0014704 in initial state
142938 explored states, 8 states in BSSCs (8 absorbing)
71766 component updates, 2482110578 transient state updates
Bounds: [0.96819+2.53951e-03]@[0.00000](57732), [3.6903e-10+2.60467e-03]@[0.00000](2), [0.00084866+1.83138e-03]@[0.00000](5601), [1.7287e-10+2.59253e-03]@[0.00000](0), [0.028412+2.22123e-03]@[0.00000](6788), [2.5230e-05+2.10651e-03]@[0.00000](1638), [2.7305e-10+2.66916e-03]@[0.00000](4), [1.1965e-10+2.61470e-03]@[0.00000](1)
Sep 13, 2024 10:56:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
172667 loops (248/sec), 2041735915 sampling steps, 94023 aborted
loop condition 0.0024605, exit probability 0.0014185 in initial state
143176 explored states, 8 states in BSSCs (8 absorbing)
72160 component updates, 2506703486 transient state updates
Bounds: [0.96824+2.47249e-03]@[0.00000](57897), [3.7144e-10+2.54434e-03]@[0.00000](2), [0.00084906+1.78294e-03]@[0.00000](5683), [1.7328e-10+2.52838e-03]@[0.00000](0), [0.028428+2.16396e-03]@[0.00000](6915), [2.5244e-05+2.04647e-03]@[0.00000](1658), [2.8024e-10+2.59628e-03]@[0.00000](4), [1.2255e-10+2.55608e-03]@[0.00000](1)
Sep 13, 2024 10:56:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
173919 loops (250/sec), 2054645987 sampling steps, 94882 aborted
loop condition 0.0023936, exit probability 0.0013665 in initial state
143429 explored states, 8 states in BSSCs (8 absorbing)
72553 component updates, 2530485765 transient state updates
Bounds: [0.96829+2.39779e-03]@[0.00000](58045), [3.7338e-10+2.49479e-03]@[0.00000](2), [0.00084947+1.73537e-03]@[0.00000](5771), [1.7368e-10+2.46586e-03]@[0.00000](0), [0.028441+2.11400e-03]@[0.00000](7049), [2.5258e-05+1.98301e-03]@[0.00000](1681), [2.8685e-10+2.53994e-03]@[0.00000](4), [1.2584e-10+2.49261e-03]@[0.00000](1)
Sep 13, 2024 10:56:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
175170 loops (250/sec), 2067520693 sampling steps, 95730 aborted
loop condition 0.0023371, exit probability 0.0013228 in initial state
143695 explored states, 8 states in BSSCs (8 absorbing)
72956 component updates, 2555239201 transient state updates
Bounds: [0.96833+2.33872e-03]@[0.00000](58205), [3.7515e-10+2.44941e-03]@[0.00000](2), [0.00084981+1.69618e-03]@[0.00000](5854), [1.7399e-10+2.42023e-03]@[0.00000](0), [0.028454+2.06437e-03]@[0.00000](7183), [2.5270e-05+1.93150e-03]@[0.00000](1707), [2.9373e-10+2.48345e-03]@[0.00000](4), [1.2905e-10+2.43342e-03]@[0.00000](1)
Sep 13, 2024 10:56:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
176464 loops (258/sec), 2080737059 sampling steps, 96616 aborted
loop condition 0.0022834, exit probability 0.0012779 in initial state
143899 explored states, 8 states in BSSCs (8 absorbing)
73363 component updates, 2579718857 transient state updates
Bounds: [0.96837+2.28191e-03]@[0.00000](58351), [3.7721e-10+2.39377e-03]@[0.00000](2), [0.00085017+1.65477e-03]@[0.00000](5964), [1.7437e-10+2.36148e-03]@[0.00000](0), [0.028466+2.02053e-03]@[0.00000](7314), [2.5281e-05+1.88723e-03]@[0.00000](1727), [3.0070e-10+2.42783e-03]@[0.00000](4), [1.3221e-10+2.37888e-03]@[0.00000](1)
Sep 13, 2024 10:56:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
177738 loops (254/sec), 2093737008 sampling steps, 97466 aborted
loop condition 0.0022284, exit probability 0.0012317 in initial state
144110 explored states, 8 states in BSSCs (8 absorbing)
73785 component updates, 2604323835 transient state updates
Bounds: [0.96842+2.22538e-03]@[0.00000](58509), [3.7923e-10+2.33960e-03]@[0.00000](2), [0.00085054+1.61014e-03]@[0.00000](6064), [1.7473e-10+2.30450e-03]@[0.00000](0), [0.028480+1.96939e-03]@[0.00000](7454), [2.5292e-05+1.84262e-03]@[0.00000](1751), [3.0739e-10+2.37785e-03]@[0.00000](4), [1.3620e-10+2.31793e-03]@[0.00000](1)
Sep 13, 2024 10:56:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
179027 loops (257/sec), 2106868910 sampling steps, 98341 aborted
loop condition 0.0021872, exit probability 0.0011966 in initial state
144308 explored states, 8 states in BSSCs (8 absorbing)
74199 component updates, 2628443372 transient state updates
Bounds: [0.96845+2.18389e-03]@[0.00000](58667), [3.8103e-10+2.29394e-03]@[0.00000](2), [0.00085085+1.57478e-03]@[0.00000](6153), [1.7506e-10+2.25222e-03]@[0.00000](0), [0.028490+1.93139e-03]@[0.00000](7607), [2.5300e-05+1.80711e-03]@[0.00000](1765), [3.1275e-10+2.34157e-03]@[0.00000](4), [1.4017e-10+2.27060e-03]@[0.00000](1)
Sep 13, 2024 10:57:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
180313 loops (257/sec), 2119977632 sampling steps, 99207 aborted
loop condition 0.0021476, exit probability 0.0011618 in initial state
144500 explored states, 8 states in BSSCs (8 absorbing)
74619 component updates, 2652353477 transient state updates
Bounds: [0.96848+2.14342e-03]@[0.00000](58835), [3.8251e-10+2.25720e-03]@[0.00000](2), [0.00085114+1.54095e-03]@[0.00000](6241), [1.7535e-10+2.21061e-03]@[0.00000](0), [0.028500+1.89621e-03]@[0.00000](7743), [2.5310e-05+1.76472e-03]@[0.00000](1793), [3.1877e-10+2.29859e-03]@[0.00000](4), [1.4450e-10+2.22239e-03]@[0.00000](1)
Sep 13, 2024 10:57:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
181648 loops (267/sec), 2133443148 sampling steps, 100130 aborted
loop condition 0.0021001, exit probability 0.0011254 in initial state
144705 explored states, 8 states in BSSCs (8 absorbing)
75031 component updates, 2675315950 transient state updates
Bounds: [0.96851+2.09334e-03]@[0.00000](58981), [3.8420e-10+2.21370e-03]@[0.00000](2), [0.00085147+1.50260e-03]@[0.00000](6340), [1.7564e-10+2.16355e-03]@[0.00000](0), [0.028509+1.85653e-03]@[0.00000](7879), [2.5319e-05+1.72913e-03]@[0.00000](1824), [3.2449e-10+2.25260e-03]@[0.00000](4), [1.4876e-10+2.16593e-03]@[0.00000](1)
Sep 13, 2024 10:57:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
182949 loops (260/sec), 2146544988 sampling steps, 101030 aborted
loop condition 0.0020625, exit probability 0.0010906 in initial state
144884 explored states, 8 states in BSSCs (8 absorbing)
75431 component updates, 2697447683 transient state updates
Bounds: [0.96854+2.05579e-03]@[0.00000](59137), [3.8567e-10+2.17332e-03]@[0.00000](2), [0.00085173+1.47028e-03]@[0.00000](6425), [1.7596e-10+2.11522e-03]@[0.00000](0), [0.028520+1.81433e-03]@[0.00000](8021), [2.5327e-05+1.69423e-03]@[0.00000](1841), [3.2934e-10+2.21357e-03]@[0.00000](4), [1.5291e-10+2.13112e-03]@[0.00000](1)
Sep 13, 2024 10:57:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
184280 loops (266/sec), 2160069333 sampling steps, 101940 aborted
loop condition 0.0020278, exit probability 0.0010578 in initial state
145082 explored states, 8 states in BSSCs (8 absorbing)
75852 component updates, 2720317297 transient state updates
Bounds: [0.96857+2.01957e-03]@[0.00000](59299), [3.8713e-10+2.13581e-03]@[0.00000](2), [0.00085202+1.43655e-03]@[0.00000](6525), [1.7626e-10+2.07371e-03]@[0.00000](0), [0.028528+1.77894e-03]@[0.00000](8159), [2.5335e-05+1.66448e-03]@[0.00000](1862), [3.3437e-10+2.17704e-03]@[0.00000](4), [1.5736e-10+2.09165e-03]@[0.00000](1)
Sep 13, 2024 10:57:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
185625 loops (269/sec), 2173685825 sampling steps, 102870 aborted
loop condition 0.0019892, exit probability 0.0010267 in initial state
145285 explored states, 8 states in BSSCs (8 absorbing)
76267 component updates, 2742876632 transient state updates
Bounds: [0.96860+1.97871e-03]@[0.00000](59477), [3.8864e-10+2.09815e-03]@[0.00000](2), [0.00085228+1.40547e-03]@[0.00000](6594), [1.7650e-10+2.04260e-03]@[0.00000](0), [0.028538+1.74253e-03]@[0.00000](8308), [2.5343e-05+1.63137e-03]@[0.00000](1881), [3.3912e-10+2.13820e-03]@[0.00000](4), [1.6193e-10+2.04638e-03]@[0.00000](1)
Sep 13, 2024 10:57:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
186959 loops (266/sec), 2187344539 sampling steps, 103780 aborted
loop condition 0.0019591, exit probability 0.00099900 in initial state
145516 explored states, 8 states in BSSCs (8 absorbing)
76691 component updates, 2765262475 transient state updates
Bounds: [0.96862+1.94732e-03]@[0.00000](59658), [3.8992e-10+2.06646e-03]@[0.00000](2), [0.00085251+1.37939e-03]@[0.00000](6696), [1.7676e-10+2.00854e-03]@[0.00000](0), [0.028545+1.71565e-03]@[0.00000](8435), [2.5350e-05+1.60611e-03]@[0.00000](1895), [3.4323e-10+2.10534e-03]@[0.00000](4), [1.6586e-10+2.00792e-03]@[0.00000](1)
Sep 13, 2024 10:57:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
188348 loops (277/sec), 2201234218 sampling steps, 104748 aborted
loop condition 0.0019314, exit probability 0.00096909 in initial state
145687 explored states, 8 states in BSSCs (8 absorbing)
77112 component updates, 2786890361 transient state updates
Bounds: [0.96864+1.91936e-03]@[0.00000](59847), [3.9123e-10+2.03296e-03]@[0.00000](2), [0.00085270+1.35716e-03]@[0.00000](6775), [1.7702e-10+1.97686e-03]@[0.00000](0), [0.028552+1.68835e-03]@[0.00000](8562), [2.5357e-05+1.57731e-03]@[0.00000](1921), [3.4759e-10+2.07195e-03]@[0.00000](4), [1.6896e-10+1.97160e-03]@[0.00000](1)
Sep 13, 2024 10:57:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
189716 loops (273/sec), 2214921949 sampling steps, 105684 aborted
loop condition 0.0018942, exit probability 0.00093667 in initial state
145886 explored states, 8 states in BSSCs (8 absorbing)
77544 component updates, 2808939369 transient state updates
Bounds: [0.96867+1.88061e-03]@[0.00000](60022), [3.9251e-10+1.99743e-03]@[0.00000](2), [0.00085295+1.32614e-03]@[0.00000](6877), [1.7730e-10+1.94533e-03]@[0.00000](0), [0.028560+1.65967e-03]@[0.00000](8703), [2.5363e-05+1.55189e-03]@[0.00000](1935), [3.5117e-10+2.04392e-03]@[0.00000](4), [1.7193e-10+1.94107e-03]@[0.00000](1)
Sep 13, 2024 10:57:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
191126 loops (281/sec), 2228876218 sampling steps, 106666 aborted
loop condition 0.0018613, exit probability 0.00090815 in initial state
146056 explored states, 8 states in BSSCs (8 absorbing)
77972 component updates, 2830164782 transient state updates
Bounds: [0.96869+1.84809e-03]@[0.00000](60172), [3.9361e-10+1.96839e-03]@[0.00000](2), [0.00085317+1.29978e-03]@[0.00000](6967), [1.7760e-10+1.91431e-03]@[0.00000](0), [0.028568+1.62892e-03]@[0.00000](8877), [2.5370e-05+1.52542e-03]@[0.00000](1949), [3.5503e-10+2.01544e-03]@[0.00000](4), [1.7476e-10+1.91360e-03]@[0.00000](1)
Sep 13, 2024 10:57:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
192498 loops (274/sec), 2242712746 sampling steps, 107611 aborted
loop condition 0.0018315, exit probability 0.00088365 in initial state
146231 explored states, 8 states in BSSCs (8 absorbing)
78399 component updates, 2851343955 transient state updates
Bounds: [0.96871+1.81806e-03]@[0.00000](60332), [3.9474e-10+1.93712e-03]@[0.00000](2), [0.00085337+1.27635e-03]@[0.00000](7052), [1.7786e-10+1.88846e-03]@[0.00000](0), [0.028575+1.59841e-03]@[0.00000](9034), [2.5376e-05+1.50087e-03]@[0.00000](1974), [3.5844e-10+1.98776e-03]@[0.00000](4), [1.7715e-10+1.88930e-03]@[0.00000](1)
Sep 13, 2024 10:57:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
193856 loops (271/sec), 2256318508 sampling steps, 108525 aborted
loop condition 0.0017980, exit probability 0.00085688 in initial state
146360 explored states, 8 states in BSSCs (8 absorbing)
78843 component updates, 2873216920 transient state updates
Bounds: [0.96874+1.78405e-03]@[0.00000](60497), [3.9588e-10+1.90315e-03]@[0.00000](2), [0.00085357+1.25227e-03]@[0.00000](7147), [1.7814e-10+1.85814e-03]@[0.00000](0), [0.028583+1.56435e-03]@[0.00000](9194), [2.5381e-05+1.47819e-03]@[0.00000](1998), [3.6192e-10+1.95892e-03]@[0.00000](4), [1.7985e-10+1.86074e-03]@[0.00000](1)
Sep 13, 2024 10:57:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
195240 loops (276/sec), 2270080960 sampling steps, 109472 aborted
loop condition 0.0017705, exit probability 0.00083415 in initial state
146530 explored states, 8 states in BSSCs (8 absorbing)
79280 component updates, 2893910066 transient state updates
Bounds: [0.96876+1.75548e-03]@[0.00000](60642), [3.9690e-10+1.87658e-03]@[0.00000](2), [0.00085378+1.22764e-03]@[0.00000](7248), [1.7843e-10+1.82649e-03]@[0.00000](0), [0.028588+1.54161e-03]@[0.00000](9360), [2.5388e-05+1.45262e-03]@[0.00000](2023), [3.6509e-10+1.93622e-03]@[0.00000](4), [1.8213e-10+1.83734e-03]@[0.00000](1)
Sep 13, 2024 10:58:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
196637 loops (279/sec), 2284000168 sampling steps, 110432 aborted
loop condition 0.0017460, exit probability 0.00081449 in initial state
146674 explored states, 8 states in BSSCs (8 absorbing)
79717 component updates, 2914548672 transient state updates
Bounds: [0.96878+1.73079e-03]@[0.00000](60824), [3.9779e-10+1.85516e-03]@[0.00000](2), [0.00085393+1.21019e-03]@[0.00000](7342), [1.7868e-10+1.79913e-03]@[0.00000](0), [0.028594+1.51697e-03]@[0.00000](9500), [2.5394e-05+1.42671e-03]@[0.00000](2044), [3.6841e-10+1.91129e-03]@[0.00000](4), [1.8400e-10+1.81906e-03]@[0.00000](1)
Sep 13, 2024 10:58:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
198020 loops (276/sec), 2297741168 sampling steps, 111367 aborted
loop condition 0.0017205, exit probability 0.00079074 in initial state
146837 explored states, 8 states in BSSCs (8 absorbing)
80165 component updates, 2935425143 transient state updates
Bounds: [0.96880+1.70605e-03]@[0.00000](60997), [3.9891e-10+1.82743e-03]@[0.00000](2), [0.00085407+1.19264e-03]@[0.00000](7439), [1.7894e-10+1.76771e-03]@[0.00000](0), [0.028601+1.48604e-03]@[0.00000](9658), [2.5400e-05+1.40143e-03]@[0.00000](2064), [3.7185e-10+1.87859e-03]@[0.00000](4), [1.8639e-10+1.79362e-03]@[0.00000](1)
Sep 13, 2024 10:58:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
199452 loops (286/sec), 2311745806 sampling steps, 112354 aborted
loop condition 0.0016993, exit probability 0.00077128 in initial state
147038 explored states, 8 states in BSSCs (8 absorbing)
80610 component updates, 2955315828 transient state updates
Bounds: [0.96881+1.68434e-03]@[0.00000](61175), [3.9983e-10+1.80590e-03]@[0.00000](2), [0.00085424+1.17221e-03]@[0.00000](7546), [1.7915e-10+1.74232e-03]@[0.00000](0), [0.028607+1.46375e-03]@[0.00000](9796), [2.5406e-05+1.38054e-03]@[0.00000](2086), [3.7491e-10+1.85009e-03]@[0.00000](4), [1.8845e-10+1.76999e-03]@[0.00000](1)
Sep 13, 2024 10:58:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
200852 loops (279/sec), 2325624728 sampling steps, 113298 aborted
loop condition 0.0016771, exit probability 0.00075004 in initial state
147172 explored states, 8 states in BSSCs (8 absorbing)
81066 component updates, 2975686429 transient state updates
Bounds: [0.96883+1.66226e-03]@[0.00000](61349), [4.0077e-10+1.78222e-03]@[0.00000](2), [0.00085441+1.15124e-03]@[0.00000](7653), [1.7936e-10+1.71814e-03]@[0.00000](0), [0.028612+1.44013e-03]@[0.00000](9946), [2.5411e-05+1.36055e-03]@[0.00000](2111), [3.7773e-10+1.82382e-03]@[0.00000](4), [1.9045e-10+1.74778e-03]@[0.00000](1)
Sep 13, 2024 10:58:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
202212 loops (271/sec), 2339289862 sampling steps, 114184 aborted
loop condition 0.0016554, exit probability 0.00073153 in initial state
147311 explored states, 8 states in BSSCs (8 absorbing)
81540 component updates, 2995903629 transient state updates
Bounds: [0.96885+1.63987e-03]@[0.00000](61527), [4.0147e-10+1.76346e-03]@[0.00000](2), [0.00085457+1.13263e-03]@[0.00000](7762), [1.7956e-10+1.69469e-03]@[0.00000](0), [0.028617+1.42223e-03]@[0.00000](10106), [2.5415e-05+1.34402e-03]@[0.00000](2138), [3.8068e-10+1.79675e-03]@[0.00000](4), [1.9230e-10+1.72725e-03]@[0.00000](1)
Sep 13, 2024 10:58:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
203628 loops (282/sec), 2353229812 sampling steps, 115142 aborted
loop condition 0.0016328, exit probability 0.00071188 in initial state
147400 explored states, 8 states in BSSCs (8 absorbing)
81998 component updates, 3015856387 transient state updates
Bounds: [0.96887+1.61644e-03]@[0.00000](61711), [4.0234e-10+1.74119e-03]@[0.00000](2), [0.00085474+1.11212e-03]@[0.00000](7860), [1.7978e-10+1.66894e-03]@[0.00000](0), [0.028621+1.40325e-03]@[0.00000](10259), [2.5420e-05+1.32304e-03]@[0.00000](2161), [3.8324e-10+1.77697e-03]@[0.00000](4), [1.9447e-10+1.70581e-03]@[0.00000](1)
Sep 13, 2024 10:58:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
205098 loops (294/sec), 2367506422 sampling steps, 116162 aborted
loop condition 0.0016153, exit probability 0.00069487 in initial state
147523 explored states, 8 states in BSSCs (8 absorbing)
82448 component updates, 3035025197 transient state updates
Bounds: [0.96888+1.59880e-03]@[0.00000](61892), [4.0296e-10+1.72382e-03]@[0.00000](2), [0.00085489+1.09464e-03]@[0.00000](7970), [1.7993e-10+1.65305e-03]@[0.00000](0), [0.028625+1.38774e-03]@[0.00000](10402), [2.5425e-05+1.30548e-03]@[0.00000](2177), [3.8644e-10+1.75376e-03]@[0.00000](4), [1.9617e-10+1.68898e-03]@[0.00000](1)
Sep 13, 2024 10:58:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
206574 loops (295/sec), 2381976873 sampling steps, 117184 aborted
loop condition 0.0015976, exit probability 0.00068034 in initial state
147617 explored states, 8 states in BSSCs (8 absorbing)
82902 component updates, 3053782525 transient state updates
Bounds: [0.96889+1.58084e-03]@[0.00000](62062), [4.0361e-10+1.70171e-03]@[0.00000](2), [0.00085500+1.08123e-03]@[0.00000](8084), [1.8008e-10+1.63765e-03]@[0.00000](0), [0.028629+1.37071e-03]@[0.00000](10545), [2.5428e-05+1.29019e-03]@[0.00000](2204), [3.8893e-10+1.73607e-03]@[0.00000](4), [1.9811e-10+1.67004e-03]@[0.00000](1)
Sep 13, 2024 10:58:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
207998 loops (284/sec), 2396189195 sampling steps, 118143 aborted
loop condition 0.0015809, exit probability 0.00066309 in initial state
147730 explored states, 8 states in BSSCs (8 absorbing)
83367 component updates, 3072915802 transient state updates
Bounds: [0.96891+1.56382e-03]@[0.00000](62223), [4.0431e-10+1.68057e-03]@[0.00000](2), [0.00085513+1.06541e-03]@[0.00000](8200), [1.8026e-10+1.61585e-03]@[0.00000](0), [0.028633+1.34980e-03]@[0.00000](10704), [2.5433e-05+1.27364e-03]@[0.00000](2233), [3.9141e-10+1.71887e-03]@[0.00000](4), [1.9989e-10+1.65110e-03]@[0.00000](1)
Sep 13, 2024 10:58:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
209491 loops (298/sec), 2410872545 sampling steps, 119180 aborted
loop condition 0.0015636, exit probability 0.00064383 in initial state
147840 explored states, 8 states in BSSCs (8 absorbing)
83823 component updates, 3090847105 transient state updates
Bounds: [0.96892+1.54600e-03]@[0.00000](62427), [4.0489e-10+1.66415e-03]@[0.00000](2), [0.00085522+1.05405e-03]@[0.00000](8288), [1.8041e-10+1.59829e-03]@[0.00000](0), [0.028637+1.33066e-03]@[0.00000](10851), [2.5436e-05+1.25956e-03]@[0.00000](2249), [3.9369e-10+1.70388e-03]@[0.00000](5), [2.0145e-10+1.63219e-03]@[0.00000](1)
Sep 13, 2024 10:58:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
210972 loops (295/sec), 2425465092 sampling steps, 120197 aborted
loop condition 0.0015488, exit probability 0.00062928 in initial state
147930 explored states, 8 states in BSSCs (8 absorbing)
84287 component updates, 3109051052 transient state updates
Bounds: [0.96893+1.53195e-03]@[0.00000](62606), [4.0550e-10+1.64706e-03]@[0.00000](2), [0.00085534+1.04049e-03]@[0.00000](8395), [1.8051e-10+1.58614e-03]@[0.00000](0), [0.028641+1.31166e-03]@[0.00000](11004), [2.5440e-05+1.24422e-03]@[0.00000](2273), [3.9601e-10+1.68579e-03]@[0.00000](5), [2.0314e-10+1.60934e-03]@[0.00000](2)
Sep 13, 2024 10:58:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
212425 loops (290/sec), 2439749240 sampling steps, 121179 aborted
loop condition 0.0015312, exit probability 0.00061296 in initial state
148079 explored states, 8 states in BSSCs (8 absorbing)
84758 component updates, 3127821477 transient state updates
Bounds: [0.96894+1.51436e-03]@[0.00000](62797), [4.0610e-10+1.63065e-03]@[0.00000](2), [0.00085543+1.02975e-03]@[0.00000](8481), [1.8066e-10+1.57100e-03]@[0.00000](0), [0.028645+1.29290e-03]@[0.00000](11170), [2.5444e-05+1.22875e-03]@[0.00000](2301), [3.9810e-10+1.66972e-03]@[0.00000](5), [2.0467e-10+1.58691e-03]@[0.00000](2)
Sep 13, 2024 10:59:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
213973 loops (309/sec), 2454990146 sampling steps, 122266 aborted
loop condition 0.0015148, exit probability 0.00059895 in initial state
148163 explored states, 8 states in BSSCs (8 absorbing)
85219 component updates, 3144570632 transient state updates
Bounds: [0.96895+1.49832e-03]@[0.00000](62992), [4.0667e-10+1.61551e-03]@[0.00000](2), [0.00085553+1.01720e-03]@[0.00000](8568), [1.8078e-10+1.55900e-03]@[0.00000](0), [0.028649+1.27583e-03]@[0.00000](11331), [2.5447e-05+1.21696e-03]@[0.00000](2319), [3.9980e-10+1.65647e-03]@[0.00000](5), [2.0608e-10+1.56917e-03]@[0.00000](2)
Sep 13, 2024 10:59:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
215447 loops (294/sec), 2469536812 sampling steps, 123268 aborted
loop condition 0.0015010, exit probability 0.00058554 in initial state
148247 explored states, 8 states in BSSCs (8 absorbing)
85691 component updates, 3162508413 transient state updates
Bounds: [0.96896+1.48544e-03]@[0.00000](63167), [4.0720e-10+1.60188e-03]@[0.00000](2), [0.00085564+1.00357e-03]@[0.00000](8686), [1.8090e-10+1.54581e-03]@[0.00000](0), [0.028653+1.25966e-03]@[0.00000](11480), [2.5449e-05+1.20529e-03]@[0.00000](2349), [4.0168e-10+1.64291e-03]@[0.00000](5), [2.0761e-10+1.55168e-03]@[0.00000](2)
Sep 13, 2024 10:59:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
216966 loops (303/sec), 2484520291 sampling steps, 124319 aborted
loop condition 0.0014891, exit probability 0.00057218 in initial state
148331 explored states, 8 states in BSSCs (8 absorbing)
86159 component updates, 3179669253 transient state updates
Bounds: [0.96897+1.47407e-03]@[0.00000](63344), [4.0775e-10+1.58802e-03]@[0.00000](2), [0.00085573+9.92084e-04]@[0.00000](8780), [1.8102e-10+1.53302e-03]@[0.00000](0), [0.028657+1.24678e-03]@[0.00000](11644), [2.5453e-05+1.19169e-03]@[0.00000](2381), [4.0382e-10+1.62699e-03]@[0.00000](5), [2.0886e-10+1.53852e-03]@[0.00000](3)
Sep 13, 2024 10:59:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
218524 loops (311/sec), 2499746490 sampling steps, 125409 aborted
loop condition 0.0014784, exit probability 0.00056003 in initial state
148435 explored states, 8 states in BSSCs (8 absorbing)
86627 component updates, 3196553259 transient state updates
Bounds: [0.96898+1.46368e-03]@[0.00000](63528), [4.0810e-10+1.57944e-03]@[0.00000](2), [0.00085582+9.81190e-04]@[0.00000](8880), [1.8115e-10+1.52055e-03]@[0.00000](0), [0.028659+1.23601e-03]@[0.00000](11809), [2.5455e-05+1.18124e-03]@[0.00000](2400), [4.0583e-10+1.60953e-03]@[0.00000](5), [2.1000e-10+1.52617e-03]@[0.00000](3)
Sep 13, 2024 10:59:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
220025 loops (300/sec), 2514474744 sampling steps, 126423 aborted
loop condition 0.0014667, exit probability 0.00054706 in initial state
148553 explored states, 8 states in BSSCs (8 absorbing)
87114 component updates, 3214136115 transient state updates
Bounds: [0.96899+1.45196e-03]@[0.00000](63718), [4.0860e-10+1.56202e-03]@[0.00000](2), [0.00085593+9.67941e-04]@[0.00000](8995), [1.8127e-10+1.50658e-03]@[0.00000](0), [0.028662+1.22485e-03]@[0.00000](11971), [2.5458e-05+1.17144e-03]@[0.00000](2420), [4.0765e-10+1.59483e-03]@[0.00000](5), [2.1117e-10+1.51377e-03]@[0.00000](3)
Sep 13, 2024 10:59:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
221510 loops (297/sec), 2529081288 sampling steps, 127406 aborted
loop condition 0.0014555, exit probability 0.00053364 in initial state
148641 explored states, 8 states in BSSCs (8 absorbing)
87616 component updates, 3231748423 transient state updates
Bounds: [0.96900+1.44090e-03]@[0.00000](63924), [4.0910e-10+1.54404e-03]@[0.00000](2), [0.00085605+9.52560e-04]@[0.00000](9104), [1.8137e-10+1.49695e-03]@[0.00000](0), [0.028665+1.21280e-03]@[0.00000](12138), [2.5460e-05+1.16193e-03]@[0.00000](2440), [4.0916e-10+1.58270e-03]@[0.00000](5), [2.1268e-10+1.49909e-03]@[0.00000](3)
Sep 13, 2024 10:59:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
223012 loops (300/sec), 2543965750 sampling steps, 128423 aborted
loop condition 0.0014436, exit probability 0.00052094 in initial state
148737 explored states, 8 states in BSSCs (8 absorbing)
88101 component updates, 3249037355 transient state updates
Bounds: [0.96901+1.42849e-03]@[0.00000](64143), [4.0957e-10+1.52855e-03]@[0.00000](2), [0.00085612+9.43829e-04]@[0.00000](9192), [1.8147e-10+1.48566e-03]@[0.00000](0), [0.028667+1.20226e-03]@[0.00000](12291), [2.5463e-05+1.15084e-03]@[0.00000](2465), [4.1073e-10+1.57068e-03]@[0.00000](5), [2.1387e-10+1.48762e-03]@[0.00000](3)
Sep 13, 2024 10:59:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
224565 loops (310/sec), 2559161370 sampling steps, 129487 aborted
loop condition 0.0014336, exit probability 0.00050881 in initial state
148792 explored states, 8 states in BSSCs (8 absorbing)
88590 component updates, 3265564490 transient state updates
Bounds: [0.96902+1.41810e-03]@[0.00000](64349), [4.1001e-10+1.51474e-03]@[0.00000](2), [0.00085621+9.33107e-04]@[0.00000](9290), [1.8157e-10+1.47501e-03]@[0.00000](0), [0.028670+1.19367e-03]@[0.00000](12456), [2.5465e-05+1.14196e-03]@[0.00000](2485), [4.1230e-10+1.55846e-03]@[0.00000](5), [2.1518e-10+1.47637e-03]@[0.00000](3)
Sep 13, 2024 10:59:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
226112 loops (309/sec), 2574172068 sampling steps, 130533 aborted
loop condition 0.0014239, exit probability 0.00049645 in initial state
148848 explored states, 8 states in BSSCs (8 absorbing)
89091 component updates, 3282277057 transient state updates
Bounds: [0.96902+1.40856e-03]@[0.00000](64545), [4.1045e-10+1.50152e-03]@[0.00000](2), [0.00085631+9.19914e-04]@[0.00000](9404), [1.8168e-10+1.46450e-03]@[0.00000](0), [0.028672+1.18418e-03]@[0.00000](12622), [2.5468e-05+1.13140e-03]@[0.00000](2510), [4.1364e-10+1.54562e-03]@[0.00000](5), [2.1642e-10+1.46683e-03]@[0.00000](3)
Sep 13, 2024 10:59:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
227719 loops (321/sec), 2589789476 sampling steps, 131659 aborted
loop condition 0.0014111, exit probability 0.00048592 in initial state
148964 explored states, 8 states in BSSCs (8 absorbing)
89572 component updates, 3298244812 transient state updates
Bounds: [0.96903+1.39507e-03]@[0.00000](64756), [4.1084e-10+1.49040e-03]@[0.00000](2), [0.00085640+9.08424e-04]@[0.00000](9494), [1.8176e-10+1.45593e-03]@[0.00000](0), [0.028674+1.17702e-03]@[0.00000](12769), [2.5470e-05+1.12264e-03]@[0.00000](2543), [4.1504e-10+1.53075e-03]@[0.00000](5), [2.1795e-10+1.45541e-03]@[0.00000](3)
Sep 13, 2024 10:59:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
229277 loops (311/sec), 2604812672 sampling steps, 132722 aborted
loop condition 0.0014001, exit probability 0.00047449 in initial state
149098 explored states, 8 states in BSSCs (8 absorbing)
90067 component updates, 3314934975 transient state updates
Bounds: [0.96904+1.38401e-03]@[0.00000](64954), [4.1120e-10+1.48034e-03]@[0.00000](2), [0.00085651+8.95067e-04]@[0.00000](9608), [1.8188e-10+1.44283e-03]@[0.00000](0), [0.028676+1.16801e-03]@[0.00000](12925), [2.5472e-05+1.11235e-03]@[0.00000](2570), [4.1652e-10+1.51806e-03]@[0.00000](5), [2.1949e-10+1.44513e-03]@[0.00000](3)
Sep 13, 2024 10:59:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
230806 loops (305/sec), 2619834191 sampling steps, 133745 aborted
loop condition 0.0013900, exit probability 0.00046217 in initial state
149199 explored states, 8 states in BSSCs (8 absorbing)
90573 component updates, 3331924244 transient state updates
Bounds: [0.96905+1.37399e-03]@[0.00000](65142), [4.1158e-10+1.46966e-03]@[0.00000](2), [0.00085661+8.81316e-04]@[0.00000](9720), [1.8200e-10+1.42915e-03]@[0.00000](0), [0.028678+1.15886e-03]@[0.00000](13108), [2.5475e-05+1.10220e-03]@[0.00000](2593), [4.1801e-10+1.50698e-03]@[0.00000](5), [2.2127e-10+1.43491e-03]@[0.00000](3)
Sep 13, 2024 11:00:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
232403 loops (319/sec), 2635152619 sampling steps, 134848 aborted
loop condition 0.0013813, exit probability 0.00045215 in initial state
149297 explored states, 8 states in BSSCs (8 absorbing)
91067 component updates, 3347864661 transient state updates
Bounds: [0.96906+1.36543e-03]@[0.00000](65329), [4.1187e-10+1.46178e-03]@[0.00000](2), [0.00085670+8.69422e-04]@[0.00000](9835), [1.8212e-10+1.41653e-03]@[0.00000](0), [0.028680+1.15045e-03]@[0.00000](13277), [2.5477e-05+1.09514e-03]@[0.00000](2616), [4.1942e-10+1.49703e-03]@[0.00000](5), [2.2286e-10+1.42687e-03]@[0.00000](3)
Sep 13, 2024 11:00:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
233982 loops (315/sec), 2650327011 sampling steps, 135927 aborted
loop condition 0.0013724, exit probability 0.00044286 in initial state
149419 explored states, 8 states in BSSCs (8 absorbing)
91567 component updates, 3363916058 transient state updates
Bounds: [0.96906+1.35660e-03]@[0.00000](65518), [4.1222e-10+1.45269e-03]@[0.00000](2), [0.00085678+8.59973e-04]@[0.00000](9949), [1.8219e-10+1.40857e-03]@[0.00000](0), [0.028683+1.14242e-03]@[0.00000](13452), [2.5479e-05+1.08728e-03]@[0.00000](2638), [4.2095e-10+1.48618e-03]@[0.00000](5), [2.2501e-10+1.41761e-03]@[0.00000](3)
Sep 13, 2024 11:00:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
235520 loops (307/sec), 2665443395 sampling steps, 136947 aborted
loop condition 0.0013587, exit probability 0.00043127 in initial state
149505 explored states, 8 states in BSSCs (8 absorbing)
92085 component updates, 3380228475 transient state updates
Bounds: [0.96907+1.34221e-03]@[0.00000](65730), [4.1249e-10+1.44520e-03]@[0.00000](2), [0.00085688+8.46437e-04]@[0.00000](10073), [1.8229e-10+1.39869e-03]@[0.00000](0), [0.028685+1.13339e-03]@[0.00000](13609), [2.5481e-05+1.07861e-03]@[0.00000](2663), [4.2266e-10+1.47391e-03]@[0.00000](5), [2.2702e-10+1.40924e-03]@[0.00000](3)
Sep 13, 2024 11:00:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
237121 loops (319/sec), 2680944897 sampling steps, 138049 aborted
loop condition 0.0013489, exit probability 0.00042199 in initial state
149581 explored states, 8 states in BSSCs (8 absorbing)
92584 component updates, 3395759646 transient state updates
Bounds: [0.96908+1.33283e-03]@[0.00000](65924), [4.1277e-10+1.43767e-03]@[0.00000](2), [0.00085696+8.36336e-04]@[0.00000](10178), [1.8238e-10+1.38903e-03]@[0.00000](0), [0.028687+1.12377e-03]@[0.00000](13782), [2.5482e-05+1.07182e-03]@[0.00000](2690), [4.2430e-10+1.46348e-03]@[0.00000](5), [2.2985e-10+1.39921e-03]@[0.00000](3)
Sep 13, 2024 11:00:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
238715 loops (318/sec), 2696399363 sampling steps, 139135 aborted
loop condition 0.0013398, exit probability 0.00041307 in initial state
149653 explored states, 8 states in BSSCs (8 absorbing)
93092 component updates, 3411486562 transient state updates
Bounds: [0.96909+1.32381e-03]@[0.00000](66139), [4.1308e-10+1.42912e-03]@[0.00000](2), [0.00085703+8.26879e-04]@[0.00000](10265), [1.8246e-10+1.38004e-03]@[0.00000](0), [0.028690+1.11490e-03]@[0.00000](13962), [2.5484e-05+1.06421e-03]@[0.00000](2716), [4.2595e-10+1.45427e-03]@[0.00000](5), [2.3314e-10+1.38895e-03]@[0.00000](3)
Sep 13, 2024 11:00:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
240300 loops (317/sec), 2711739974 sampling steps, 140204 aborted
loop condition 0.0013309, exit probability 0.00040362 in initial state
149700 explored states, 8 states in BSSCs (8 absorbing)
93608 component updates, 3427118453 transient state updates
Bounds: [0.96910+1.31480e-03]@[0.00000](66351), [4.1344e-10+1.41773e-03]@[0.00000](2), [0.00085710+8.17642e-04]@[0.00000](10381), [1.8255e-10+1.36942e-03]@[0.00000](0), [0.028691+1.10679e-03]@[0.00000](14129), [2.5486e-05+1.05880e-03]@[0.00000](2737), [4.2756e-10+1.44581e-03]@[0.00000](5), [2.3634e-10+1.37976e-03]@[0.00000](3)
Sep 13, 2024 11:00:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
241940 loops (327/sec), 2727567129 sampling steps, 141344 aborted
loop condition 0.0013221, exit probability 0.00039552 in initial state
149769 explored states, 8 states in BSSCs (8 absorbing)
94108 component updates, 3442212440 transient state updates
Bounds: [0.96910+1.30539e-03]@[0.00000](66558), [4.1373e-10+1.40985e-03]@[0.00000](2), [0.00085717+8.08360e-04]@[0.00000](10483), [1.8263e-10+1.36082e-03]@[0.00000](0), [0.028693+1.10001e-03]@[0.00000](14293), [2.5487e-05+1.05299e-03]@[0.00000](2764), [4.2941e-10+1.43473e-03]@[0.00000](5), [2.4007e-10+1.36961e-03]@[0.00000](3)
Sep 13, 2024 11:00:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
243553 loops (322/sec), 2743117802 sampling steps, 142447 aborted
loop condition 0.0013130, exit probability 0.00038733 in initial state
149835 explored states, 8 states in BSSCs (8 absorbing)
94618 component updates, 3457778968 transient state updates
Bounds: [0.96911+1.29546e-03]@[0.00000](66768), [4.1407e-10+1.40076e-03]@[0.00000](2), [0.00085724+7.98803e-04]@[0.00000](10579), [1.8270e-10+1.35186e-03]@[0.00000](0), [0.028695+1.09344e-03]@[0.00000](14465), [2.5488e-05+1.04805e-03]@[0.00000](2796), [4.3109e-10+1.42589e-03]@[0.00000](5), [2.4447e-10+1.35939e-03]@[0.00000](3)
Sep 13, 2024 11:00:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
245170 loops (323/sec), 2758758762 sampling steps, 143511 aborted
loop condition 0.0013039, exit probability 0.00037812 in initial state
149887 explored states, 8 states in BSSCs (8 absorbing)
95171 component updates, 3473569864 transient state updates
Bounds: [0.96912+1.28647e-03]@[0.00000](66980), [4.1437e-10+1.39234e-03]@[0.00000](2), [0.00085734+7.85891e-04]@[0.00000](10695), [1.8278e-10+1.34244e-03]@[0.00000](0), [0.028697+1.08476e-03]@[0.00000](14657), [2.5490e-05+1.04157e-03]@[0.00000](2829), [4.3287e-10+1.41730e-03]@[0.00000](5), [2.4916e-10+1.34113e-03]@[0.00000](3)
Sep 13, 2024 11:00:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
247003 loops (366/sec), 2776501892 sampling steps, 144758 aborted
loop condition 0.0012944, exit probability 0.00036935 in initial state
149967 explored states, 8 states in BSSCs (8 absorbing)
95757 component updates, 3490021567 transient state updates
Bounds: [0.96912+1.27696e-03]@[0.00000](67209), [4.1468e-10+1.38394e-03]@[0.00000](2), [0.00085742+7.75164e-04]@[0.00000](10818), [1.8285e-10+1.33422e-03]@[0.00000](0), [0.028699+1.07629e-03]@[0.00000](14861), [2.5491e-05+1.03503e-03]@[0.00000](2859), [4.3484e-10+1.40857e-03]@[0.00000](5), [2.5360e-10+1.33161e-03]@[0.00000](3)
Sep 13, 2024 11:00:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
248822 loops (363/sec), 2794128067 sampling steps, 145981 aborted
loop condition 0.0012872, exit probability 0.00036073 in initial state
150052 explored states, 8 states in BSSCs (8 absorbing)
96353 component updates, 3506336367 transient state updates
Bounds: [0.96913+1.26976e-03]@[0.00000](67437), [4.1501e-10+1.37478e-03]@[0.00000](2), [0.00085752+7.62919e-04]@[0.00000](10953), [1.8291e-10+1.32775e-03]@[0.00000](0), [0.028700+1.06987e-03]@[0.00000](15072), [2.5492e-05+1.03157e-03]@[0.00000](2881), [4.3634e-10+1.40227e-03]@[0.00000](5), [2.5736e-10+1.32410e-03]@[0.00000](3)
Sep 13, 2024 11:00:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
250639 loops (363/sec), 2811820291 sampling steps, 147216 aborted
loop condition 0.0012801, exit probability 0.00035379 in initial state
150175 explored states, 8 states in BSSCs (8 absorbing)
96935 component updates, 3522813051 transient state updates
Bounds: [0.96914+1.26257e-03]@[0.00000](67669), [4.1528e-10+1.36690e-03]@[0.00000](2), [0.00085760+7.52052e-04]@[0.00000](11067), [1.8298e-10+1.32083e-03]@[0.00000](0), [0.028702+1.06370e-03]@[0.00000](15278), [2.5493e-05+1.02561e-03]@[0.00000](2911), [4.3827e-10+1.39280e-03]@[0.00000](5), [2.6189e-10+1.31630e-03]@[0.00000](3)
Sep 13, 2024 11:01:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
252532 loops (378/sec), 2829920988 sampling steps, 148532 aborted
loop condition 0.0012737, exit probability 0.00034703 in initial state
150287 explored states, 8 states in BSSCs (8 absorbing)
97512 component updates, 3538529515 transient state updates
Bounds: [0.96914+1.25596e-03]@[0.00000](67909), [4.1554e-10+1.35887e-03]@[0.00000](2), [0.00085766+7.44100e-04]@[0.00000](11173), [1.8303e-10+1.31611e-03]@[0.00000](0), [0.028703+1.05835e-03]@[0.00000](15479), [2.5495e-05+1.02032e-03]@[0.00000](2941), [4.3966e-10+1.38483e-03]@[0.00000](5), [2.6574e-10+1.31030e-03]@[0.00000](3)
Sep 13, 2024 11:01:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
254471 loops (387/sec), 2848336262 sampling steps, 149919 aborted
loop condition 0.0012671, exit probability 0.00033922 in initial state
150353 explored states, 8 states in BSSCs (8 absorbing)
98064 component updates, 3553635010 transient state updates
Bounds: [0.96915+1.24940e-03]@[0.00000](68123), [4.1583e-10+1.35022e-03]@[0.00000](2), [0.00085772+7.35354e-04]@[0.00000](11285), [1.8308e-10+1.31041e-03]@[0.00000](0), [0.028705+1.05153e-03]@[0.00000](15673), [2.5496e-05+1.01632e-03]@[0.00000](2973), [4.4117e-10+1.37609e-03]@[0.00000](5), [2.7021e-10+1.30148e-03]@[0.00000](3)
Sep 13, 2024 11:01:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
256409 loops (387/sec), 2866874912 sampling steps, 151288 aborted
loop condition 0.0012595, exit probability 0.00033066 in initial state
150417 explored states, 8 states in BSSCs (8 absorbing)
98633 component updates, 3568205754 transient state updates
Bounds: [0.96915+1.24195e-03]@[0.00000](68347), [4.1606e-10+1.34329e-03]@[0.00000](2), [0.00085781+7.24393e-04]@[0.00000](11409), [1.8315e-10+1.30363e-03]@[0.00000](0), [0.028706+1.04394e-03]@[0.00000](15863), [2.5497e-05+1.01140e-03]@[0.00000](3004), [4.4242e-10+1.36782e-03]@[0.00000](5), [2.7475e-10+1.29246e-03]@[0.00000](3)
Sep 13, 2024 11:01:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
258226 loops (363/sec), 2884470782 sampling steps, 152496 aborted
loop condition 0.0012515, exit probability 0.00032336 in initial state
150488 explored states, 8 states in BSSCs (8 absorbing)
99242 component updates, 3584743111 transient state updates
Bounds: [0.96916+1.23409e-03]@[0.00000](68598), [4.1631e-10+1.33552e-03]@[0.00000](2), [0.00085788+7.14485e-04]@[0.00000](11526), [1.8322e-10+1.29548e-03]@[0.00000](0), [0.028708+1.03753e-03]@[0.00000](16082), [2.5498e-05+1.00736e-03]@[0.00000](3026), [4.4384e-10+1.35932e-03]@[0.00000](5), [2.7939e-10+1.28376e-03]@[0.00000](3)
Sep 13, 2024 11:01:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
260118 loops (378/sec), 2902603755 sampling steps, 153797 aborted
loop condition 0.0012449, exit probability 0.00031753 in initial state
150563 explored states, 8 states in BSSCs (8 absorbing)
99833 component updates, 3600108596 transient state updates
Bounds: [0.96916+1.22738e-03]@[0.00000](68842), [4.1651e-10+1.32908e-03]@[0.00000](2), [0.00085797+7.03266e-04]@[0.00000](11652), [1.8328e-10+1.28855e-03]@[0.00000](0), [0.028709+1.03240e-03]@[0.00000](16274), [2.5499e-05+1.00291e-03]@[0.00000](3055), [4.4524e-10+1.35039e-03]@[0.00000](5), [2.8347e-10+1.27566e-03]@[0.00000](3)
Sep 13, 2024 11:01:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
262077 loops (391/sec), 2921220616 sampling steps, 155166 aborted
loop condition 0.0012383, exit probability 0.00031199 in initial state
150647 explored states, 8 states in BSSCs (8 absorbing)
100423 component updates, 3614863518 transient state updates
Bounds: [0.96917+1.22087e-03]@[0.00000](69093), [4.1672e-10+1.32226e-03]@[0.00000](2), [0.00085804+6.93763e-04]@[0.00000](11762), [1.8333e-10+1.28332e-03]@[0.00000](0), [0.028711+1.02632e-03]@[0.00000](16485), [2.5499e-05+1.00082e-03]@[0.00000](3073), [4.4646e-10+1.34332e-03]@[0.00000](5), [2.8652e-10+1.26685e-03]@[0.00000](3)
Sep 13, 2024 11:01:29 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 2043, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 11:01:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
262678 loops (53/sec), 2927172586 sampling steps, 155563 aborted
loop condition 0.0012362, exit probability 0.00031030 in initial state
150683 explored states, 2051 states in BSSCs (2051 absorbing)
100627 component updates, 3619976571 transient state updates
Bounds: [0.96917+1.21878e-03]@[0.00000](69183), [4.1679e-10+1.31990e-03]@[0.00000](2), [0.00085806+6.91204e-04]@[0.00000](11798), [1.8335e-10+1.28135e-03]@[0.00000](0), [0.028711+1.02434e-03]@[0.00000](16548), [2.5500e-05+9.99209e-04]@[0.00000](3088), [4.4683e-10+1.34113e-03]@[0.00000](5), [2.8747e-10+1.26499e-03]@[0.00000](3), [0.0000+1.23627e-03]@[0.00000](0), [0.0000+1.23627e-03]@[0.00000](0) ... (2051)
Sep 13, 2024 11:01:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
262696 loops (3/sec), 2927314838 sampling steps, 155581 aborted
loop condition 0.0012360, exit probability 0.00031011 in initial state
150683 explored states, 2051 states in BSSCs (2051 absorbing)
100627 component updates, 3676074923 transient state updates
Bounds: [0.96917+1.21841e-03]@[0.00000](69183), [4.1680e-10+1.31978e-03]@[0.00000](2), [0.00085806+6.91204e-04]@[0.00000](11798), [1.8335e-10+1.28090e-03]@[0.00000](0), [0.028711+1.02434e-03]@[0.00000](16548), [2.5500e-05+9.99209e-04]@[0.00000](3088), [4.4686e-10+1.34058e-03]@[0.00000](5), [2.8758e-10+1.26479e-03]@[0.00000](3), [0.0000+1.23619e-03]@[0.00000](0), [0.0000+1.23612e-03]@[0.00000](0) ... (2051)
Sep 13, 2024 11:01:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
262712 loops (3/sec), 2927453457 sampling steps, 155597 aborted
loop condition 0.0012359, exit probability 0.00030986 in initial state
150683 explored states, 2051 states in BSSCs (2051 absorbing)
100627 component updates, 3729581253 transient state updates
Bounds: [0.96917+1.21832e-03]@[0.00000](69183), [4.1680e-10+1.31973e-03]@[0.00000](2), [0.00085806+6.91204e-04]@[0.00000](11798), [1.8336e-10+1.28052e-03]@[0.00000](0), [0.028711+1.02432e-03]@[0.00000](16548), [2.5500e-05+9.99209e-04]@[0.00000](3088), [4.4688e-10+1.34042e-03]@[0.00000](5), [2.8763e-10+1.26469e-03]@[0.00000](3), [0.0000+1.23586e-03]@[0.00000](0), [0.0000+1.23159e-03]@[0.00000](0) ... (2051)