Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:47:28 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/crowds/crowds.prism --const TotalRuns=5,CrowdSize=15 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:47:28 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 4, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:47:28 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 98, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:47:31 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 560, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:47:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11758 loops (2351/sec), 768077 sampling steps, 9170 aborted
loop condition 0.41979, exit probability 0.41945 in initial state
38286 explored states, 662 states in BSSCs (662 absorbing)
371 component updates, 36827774 transient state updates
Bounds: [0.012511+4.21227e-01]@[0.00000](13), [0.13145+4.19791e-01]@[0.00000](106), [0.10569+4.19789e-01]@[0.00000](71), [0.014330+4.19861e-01]@[0.00000](13), [0.00050246+4.19822e-01]@[0.00000](0), [3.4927e-17+4.19506e-01]@[0.00000](0), [0.00053223+4.19609e-01]@[0.00000](0), [0.00099074+4.21140e-01]@[0.00000](0), [0.0068663+4.19930e-01]@[0.00000](4), [0.012202+4.19582e-01]@[0.00000](6) ... (662)
Sep 13, 2024 10:47:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12798 loops (207/sec), 839723 sampling steps, 10094 aborted
loop condition 0.37677, exit probability 0.37647 in initial state
40889 explored states, 662 states in BSSCs (662 absorbing)
377 component updates, 77750015 transient state updates
Bounds: [0.013847+3.78339e-01]@[0.00000](13), [0.13145+3.76879e-01]@[0.00000](106), [0.10569+3.77237e-01]@[0.00000](72), [0.014742+3.76850e-01]@[0.00000](13), [0.00060060+3.77138e-01]@[0.00000](0), [4.1164e-17+3.76573e-01]@[0.00000](0), [0.00063326+3.76921e-01]@[0.00000](0), [0.0011639+3.78214e-01]@[0.00000](0), [0.0076202+3.77038e-01]@[0.00000](4), [0.013432+3.76596e-01]@[0.00000](7) ... (662)
Sep 13, 2024 10:47:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13834 loops (207/sec), 912335 sampling steps, 11025 aborted
loop condition 0.33666, exit probability 0.33612 in initial state
43325 explored states, 662 states in BSSCs (662 absorbing)
385 component updates, 118072654 transient state updates
Bounds: [0.014510+3.38077e-01]@[0.00000](13), [0.13145+3.36836e-01]@[0.00000](107), [0.10569+3.36607e-01]@[0.00000](72), [0.015151+3.36472e-01]@[0.00000](13), [0.00069070+3.36820e-01]@[0.00000](0), [4.3190e-17+3.36309e-01]@[0.00000](0), [0.00070420+3.36567e-01]@[0.00000](0), [0.0012824+3.37782e-01]@[0.00000](0), [0.0082392+3.36805e-01]@[0.00000](4), [0.014548+3.36279e-01]@[0.00000](7) ... (662)
Sep 13, 2024 10:47:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14929 loops (219/sec), 989535 sampling steps, 11996 aborted
loop condition 0.30145, exit probability 0.30089 in initial state
46133 explored states, 662 states in BSSCs (662 absorbing)
399 component updates, 160176443 transient state updates
Bounds: [0.015310+3.02989e-01]@[0.00000](13), [0.13145+3.01424e-01]@[0.00000](107), [0.10569+3.01444e-01]@[0.00000](74), [0.015538+3.01180e-01]@[0.00000](13), [0.00074860+3.01637e-01]@[0.00000](0), [4.5033e-17+3.01186e-01]@[0.00000](0), [0.00078058+3.01251e-01]@[0.00000](0), [0.0013857+3.02455e-01]@[0.00000](0), [0.0088801+3.01453e-01]@[0.00000](5), [0.015087+3.01242e-01]@[0.00000](7) ... (662)
Sep 13, 2024 10:47:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16083 loops (229/sec), 1071459 sampling steps, 13013 aborted
loop condition 0.27623, exit probability 0.27551 in initial state
49044 explored states, 662 states in BSSCs (662 absorbing)
412 component updates, 202081126 transient state updates
Bounds: [0.015617+2.77765e-01]@[0.00000](13), [0.13145+2.75989e-01]@[0.00000](110), [0.10569+2.76111e-01]@[0.00000](74), [0.015701+2.75903e-01]@[0.00000](13), [0.00080080+2.76194e-01]@[0.00000](0), [4.8288e-17+2.75933e-01]@[0.00000](0), [0.00083254+2.75907e-01]@[0.00000](0), [0.0015352+2.76918e-01]@[0.00000](0), [0.0092324+2.76184e-01]@[0.00000](5), [0.015453+2.75859e-01]@[0.00000](7) ... (662)
Sep 13, 2024 10:47:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17292 loops (241/sec), 1156072 sampling steps, 14067 aborted
loop condition 0.25530, exit probability 0.25447 in initial state
52343 explored states, 662 states in BSSCs (662 absorbing)
429 component updates, 244127451 transient state updates
Bounds: [0.015717+2.57006e-01]@[0.00000](14), [0.13145+2.54860e-01]@[0.00000](112), [0.10569+2.55173e-01]@[0.00000](74), [0.015825+2.54843e-01]@[0.00000](13), [0.00086167+2.55261e-01]@[0.00000](0), [4.9839e-17+2.54898e-01]@[0.00000](0), [0.00089301+2.54923e-01]@[0.00000](0), [0.0016711+2.55804e-01]@[0.00000](0), [0.0095684+2.55044e-01]@[0.00000](5), [0.015709+2.54827e-01]@[0.00000](7) ... (662)
Sep 13, 2024 10:48:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18518 loops (245/sec), 1243123 sampling steps, 15155 aborted
loop condition 0.23850, exit probability 0.23763 in initial state
55646 explored states, 662 states in BSSCs (662 absorbing)
443 component updates, 284586478 transient state updates
Bounds: [0.015872+2.40093e-01]@[0.00000](14), [0.13145+2.38055e-01]@[0.00000](113), [0.10569+2.38392e-01]@[0.00000](75), [0.015863+2.38047e-01]@[0.00000](13), [0.00090675+2.38536e-01]@[0.00000](0), [2.4883e-06+2.38029e-01]@[0.00000](0), [0.00095503+2.38030e-01]@[0.00000](0), [0.0017748+2.38992e-01]@[0.00000](0), [0.0097555+2.38143e-01]@[0.00000](5), [0.015812+2.38155e-01]@[0.00000](7) ... (662)
Sep 13, 2024 10:48:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19863 loops (269/sec), 1338223 sampling steps, 16359 aborted
loop condition 0.22360, exit probability 0.22265 in initial state
58817 explored states, 662 states in BSSCs (662 absorbing)
464 component updates, 326617659 transient state updates
Bounds: [0.015897+2.25068e-01]@[0.00000](14), [0.13145+2.23210e-01]@[0.00000](115), [0.10569+2.23503e-01]@[0.00000](76), [0.015907+2.23126e-01]@[0.00000](13), [0.00093592+2.23658e-01]@[0.00000](0), [6.7041e-06+2.23127e-01]@[0.00000](0), [0.00099006+2.23088e-01]@[0.00000](1), [0.0018676+2.23954e-01]@[0.00000](0), [0.0098600+2.23222e-01]@[0.00000](5), [0.015891+2.23272e-01]@[0.00000](7) ... (662)
Sep 13, 2024 10:48:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21289 loops (284/sec), 1440904 sampling steps, 17640 aborted
loop condition 0.21034, exit probability 0.20937 in initial state
61860 explored states, 662 states in BSSCs (662 absorbing)
489 component updates, 367298701 transient state updates
Bounds: [0.015908+2.11890e-01]@[0.00000](15), [0.13145+2.09886e-01]@[0.00000](118), [0.10569+2.10431e-01]@[0.00000](77), [0.015922+2.09849e-01]@[0.00000](13), [0.00096876+2.10436e-01]@[0.00000](1), [1.0547e-05+2.09855e-01]@[0.00000](0), [0.0010259+2.09918e-01]@[0.00000](1), [0.0019309+2.10696e-01]@[0.00000](0), [0.0099945+2.10201e-01]@[0.00000](5), [0.015926+2.10001e-01]@[0.00000](7) ... (662)
Sep 13, 2024 10:48:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22884 loops (318/sec), 1554445 sampling steps, 19066 aborted
loop condition 0.19872, exit probability 0.19775 in initial state
65437 explored states, 662 states in BSSCs (662 absorbing)
516 component updates, 409013118 transient state updates
Bounds: [0.015922+2.00191e-01]@[0.00000](15), [0.13145+1.98229e-01]@[0.00000](120), [0.10569+1.98868e-01]@[0.00000](78), [0.015931+1.98229e-01]@[0.00000](14), [0.0010075+1.98784e-01]@[0.00000](1), [1.4667e-05+1.98250e-01]@[0.00000](0), [0.0010707+1.98413e-01]@[0.00000](1), [0.0019766+1.99098e-01]@[0.00000](0), [0.010051+1.98524e-01]@[0.00000](6), [0.015935+1.98319e-01]@[0.00000](7) ... (662)
Sep 13, 2024 10:48:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24628 loops (348/sec), 1678024 sampling steps, 20613 aborted
loop condition 0.18913, exit probability 0.18811 in initial state
69211 explored states, 662 states in BSSCs (662 absorbing)
542 component updates, 450645770 transient state updates
Bounds: [0.015935+1.90564e-01]@[0.00000](15), [0.13145+1.88569e-01]@[0.00000](121), [0.10569+1.89200e-01]@[0.00000](78), [0.015940+1.88602e-01]@[0.00000](14), [0.0010331+1.89130e-01]@[0.00000](1), [1.7729e-05+1.88750e-01]@[0.00000](0), [0.0011237+1.88947e-01]@[0.00000](1), [0.0020167+1.89584e-01]@[0.00000](0), [0.010099+1.88816e-01]@[0.00000](6), [0.015943+1.88736e-01]@[0.00000](8) ... (662)
Sep 13, 2024 10:48:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26434 loops (361/sec), 1806379 sampling steps, 22231 aborted
loop condition 0.18069, exit probability 0.17965 in initial state
72793 explored states, 662 states in BSSCs (662 absorbing)
576 component updates, 491103758 transient state updates
Bounds: [0.015941+1.82048e-01]@[0.00000](16), [0.13145+1.80069e-01]@[0.00000](123), [0.10569+1.80766e-01]@[0.00000](78), [0.015943+1.80164e-01]@[0.00000](14), [0.0010504+1.80691e-01]@[0.00000](1), [2.1046e-05+1.80297e-01]@[0.00000](0), [0.0011586+1.80444e-01]@[0.00000](1), [0.0020439+1.81111e-01]@[0.00000](0), [0.010128+1.80321e-01]@[0.00000](7), [0.015946+1.80304e-01]@[0.00000](8) ... (662)
Sep 13, 2024 10:48:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28232 loops (359/sec), 1933749 sampling steps, 23841 aborted
loop condition 0.17361, exit probability 0.17253 in initial state
76149 explored states, 662 states in BSSCs (662 absorbing)
606 component updates, 529327727 transient state updates
Bounds: [0.015944+1.75064e-01]@[0.00000](17), [0.13145+1.72959e-01]@[0.00000](124), [0.10569+1.73648e-01]@[0.00000](78), [0.015946+1.73118e-01]@[0.00000](16), [0.0010656+1.73562e-01]@[0.00000](1), [2.2830e-05+1.73238e-01]@[0.00000](0), [0.0011854+1.73344e-01]@[0.00000](1), [0.0020870+1.73960e-01]@[0.00000](0), [0.010171+1.73172e-01]@[0.00000](7), [0.015947+1.73207e-01]@[0.00000](8) ... (662)
Sep 13, 2024 10:48:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29899 loops (333/sec), 2051941 sampling steps, 25349 aborted
loop condition 0.16740, exit probability 0.16630 in initial state
79251 explored states, 662 states in BSSCs (662 absorbing)
633 component updates, 563562959 transient state updates
Bounds: [0.015947+1.68739e-01]@[0.00000](18), [0.13145+1.66810e-01]@[0.00000](124), [0.10569+1.67399e-01]@[0.00000](79), [0.015947+1.66937e-01]@[0.00000](17), [0.0010813+1.67371e-01]@[0.00000](1), [2.4442e-05+1.66991e-01]@[0.00000](0), [0.0012163+1.67135e-01]@[0.00000](2), [0.0021275+1.67701e-01]@[0.00000](0), [0.010192+1.67009e-01]@[0.00000](7), [0.015948+1.66980e-01]@[0.00000](8) ... (662)
Sep 13, 2024 10:48:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31877 loops (395/sec), 2190758 sampling steps, 27108 aborted
loop condition 0.16222, exit probability 0.16109 in initial state
83195 explored states, 662 states in BSSCs (662 absorbing)
662 component updates, 601277136 transient state updates
Bounds: [0.015948+1.63507e-01]@[0.00000](18), [0.13145+1.61649e-01]@[0.00000](126), [0.10569+1.62164e-01]@[0.00000](80), [0.015948+1.61794e-01]@[0.00000](17), [0.0010905+1.62174e-01]@[0.00000](1), [2.6250e-05+1.61760e-01]@[0.00000](0), [0.0012370+1.61915e-01]@[0.00000](2), [0.0021518+1.62428e-01]@[0.00000](0), [0.010206+1.61803e-01]@[0.00000](7), [0.015948+1.61782e-01]@[0.00000](8) ... (662)
Sep 13, 2024 10:48:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33920 loops (408/sec), 2335817 sampling steps, 28941 aborted
loop condition 0.15650, exit probability 0.15535 in initial state
86901 explored states, 662 states in BSSCs (662 absorbing)
704 component updates, 641410502 transient state updates
Bounds: [0.015948+1.57713e-01]@[0.00000](18), [0.13145+1.55916e-01]@[0.00000](128), [0.10569+1.56403e-01]@[0.00000](83), [0.015948+1.56080e-01]@[0.00000](17), [0.0011149+1.56395e-01]@[0.00000](1), [2.7344e-05+1.55991e-01]@[0.00000](0), [0.0012553+1.56235e-01]@[0.00000](2), [0.0021772+1.56717e-01]@[0.00000](1), [0.010224+1.56046e-01]@[0.00000](7), [0.015949+1.56078e-01]@[0.00000](10) ... (662)
Sep 13, 2024 10:48:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36045 loops (424/sec), 2485977 sampling steps, 30860 aborted
loop condition 0.15142, exit probability 0.15026 in initial state
90746 explored states, 662 states in BSSCs (662 absorbing)
742 component updates, 679896556 transient state updates
Bounds: [0.015949+1.52550e-01]@[0.00000](18), [0.13145+1.50870e-01]@[0.00000](129), [0.10569+1.51324e-01]@[0.00000](87), [0.015948+1.51030e-01]@[0.00000](17), [0.0011244+1.51317e-01]@[0.00000](1), [3.1636e-05+1.50892e-01]@[0.00000](0), [0.0012762+1.51148e-01]@[0.00000](2), [0.0021990+1.51639e-01]@[0.00000](1), [0.010230+1.51016e-01]@[0.00000](7), [0.015949+1.51007e-01]@[0.00000](12) ... (662)
Sep 13, 2024 10:48:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38191 loops (428/sec), 2637767 sampling steps, 32805 aborted
loop condition 0.14667, exit probability 0.14549 in initial state
94596 explored states, 662 states in BSSCs (662 absorbing)
775 component updates, 719135849 transient state updates
Bounds: [0.015949+1.47762e-01]@[0.00000](19), [0.13145+1.46070e-01]@[0.00000](129), [0.10569+1.46558e-01]@[0.00000](88), [0.015948+1.46270e-01]@[0.00000](19), [0.0011519+1.46552e-01]@[0.00000](1), [3.8881e-05+1.46176e-01]@[0.00000](0), [0.0012942+1.46398e-01]@[0.00000](2), [0.0022171+1.46909e-01]@[0.00000](1), [0.010235+1.46246e-01]@[0.00000](7), [0.015949+1.46317e-01]@[0.00000](12) ... (662)
Sep 13, 2024 10:49:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40388 loops (439/sec), 2793208 sampling steps, 34812 aborted
loop condition 0.14219, exit probability 0.14100 in initial state
98215 explored states, 662 states in BSSCs (662 absorbing)
821 component updates, 758797104 transient state updates
Bounds: [0.015949+1.43222e-01]@[0.00000](20), [0.13145+1.41561e-01]@[0.00000](131), [0.10569+1.42070e-01]@[0.00000](90), [0.015949+1.41762e-01]@[0.00000](19), [0.0011725+1.42080e-01]@[0.00000](1), [4.5550e-05+1.41689e-01]@[0.00000](0), [0.0013157+1.41910e-01]@[0.00000](3), [0.0022303+1.42454e-01]@[0.00000](1), [0.010237+1.41739e-01]@[0.00000](8), [0.015949+1.41779e-01]@[0.00000](12) ... (662)
Sep 13, 2024 10:49:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42567 loops (435/sec), 2947959 sampling steps, 36795 aborted
loop condition 0.13854, exit probability 0.13734 in initial state
101742 explored states, 662 states in BSSCs (662 absorbing)
864 component updates, 797061277 transient state updates
Bounds: [0.015949+1.39475e-01]@[0.00000](21), [0.13145+1.37925e-01]@[0.00000](134), [0.10569+1.38389e-01]@[0.00000](91), [0.015949+1.38077e-01]@[0.00000](21), [0.0011893+1.38427e-01]@[0.00000](1), [5.1091e-05+1.37976e-01]@[0.00000](0), [0.0013285+1.38246e-01]@[0.00000](3), [0.0022418+1.38807e-01]@[0.00000](1), [0.010239+1.38074e-01]@[0.00000](8), [0.015949+1.38150e-01]@[0.00000](14) ... (662)
Sep 13, 2024 10:49:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44808 loops (448/sec), 3104672 sampling steps, 38859 aborted
loop condition 0.13476, exit probability 0.13355 in initial state
105612 explored states, 662 states in BSSCs (662 absorbing)
895 component updates, 836168144 transient state updates
Bounds: [0.015949+1.35652e-01]@[0.00000](22), [0.13145+1.34161e-01]@[0.00000](134), [0.10569+1.34611e-01]@[0.00000](94), [0.015949+1.34292e-01]@[0.00000](22), [0.0012046+1.34635e-01]@[0.00000](1), [5.5323e-05+1.34188e-01]@[0.00000](0), [0.0013367+1.34482e-01]@[0.00000](3), [0.0022735+1.35025e-01]@[0.00000](1), [0.010246+1.34286e-01]@[0.00000](9), [0.015949+1.34380e-01]@[0.00000](14) ... (662)
Sep 13, 2024 10:49:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47120 loops (462/sec), 3268298 sampling steps, 40987 aborted
loop condition 0.13133, exit probability 0.13012 in initial state
109307 explored states, 662 states in BSSCs (662 absorbing)
942 component updates, 874260907 transient state updates
Bounds: [0.015949+1.32234e-01]@[0.00000](23), [0.13145+1.30746e-01]@[0.00000](137), [0.10569+1.31177e-01]@[0.00000](94), [0.015949+1.30909e-01]@[0.00000](23), [0.0012301+1.31185e-01]@[0.00000](1), [5.7868e-05+1.30771e-01]@[0.00000](0), [0.0013473+1.31049e-01]@[0.00000](3), [0.0022888+1.31623e-01]@[0.00000](1), [0.010249+1.30894e-01]@[0.00000](9), [0.015949+1.30956e-01]@[0.00000](14) ... (662)
Sep 13, 2024 10:49:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49360 loops (447/sec), 3425556 sampling steps, 43060 aborted
loop condition 0.12843, exit probability 0.12721 in initial state
112699 explored states, 662 states in BSSCs (662 absorbing)
983 component updates, 912005736 transient state updates
Bounds: [0.015949+1.29319e-01]@[0.00000](24), [0.13145+1.27832e-01]@[0.00000](142), [0.10569+1.28273e-01]@[0.00000](95), [0.015949+1.27989e-01]@[0.00000](24), [0.0012433+1.28251e-01]@[0.00000](1), [6.0373e-05+1.27863e-01]@[0.00000](0), [0.0013548+1.28168e-01]@[0.00000](3), [0.0022937+1.28701e-01]@[0.00000](1), [0.010251+1.27993e-01]@[0.00000](10), [0.015949+1.28049e-01]@[0.00000](15) ... (662)
Sep 13, 2024 10:49:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51069 loops (339/sec), 3545978 sampling steps, 44652 aborted
loop condition 0.12624, exit probability 0.12502 in initial state
115207 explored states, 662 states in BSSCs (662 absorbing)
1014 component updates, 940504904 transient state updates
Bounds: [0.015949+1.27136e-01]@[0.00000](24), [0.13145+1.25665e-01]@[0.00000](146), [0.10569+1.26106e-01]@[0.00000](96), [0.015949+1.25821e-01]@[0.00000](24), [0.0012553+1.26054e-01]@[0.00000](1), [6.1874e-05+1.25678e-01]@[0.00000](0), [0.0013600+1.25995e-01]@[0.00000](3), [0.0023026+1.26499e-01]@[0.00000](1), [0.010253+1.25778e-01]@[0.00000](10), [0.015949+1.25899e-01]@[0.00000](15) ... (662)
Sep 13, 2024 10:49:33 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 1643, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:49:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53012 loops (165/sec), 3683697 sampling steps, 46461 aborted
loop condition 0.12411, exit probability 0.12289 in initial state
117921 explored states, 2305 states in BSSCs (2305 absorbing)
1049 component updates, 972389959 transient state updates
Bounds: [0.015949+1.25004e-01]@[0.00000](24), [0.13145+1.23552e-01]@[0.00000](149), [0.10569+1.23990e-01]@[0.00000](97), [0.015949+1.23733e-01]@[0.00000](25), [0.0012680+1.23922e-01]@[0.00000](1), [6.3264e-05+1.23543e-01]@[0.00000](0), [0.0013660+1.23891e-01]@[0.00000](3), [0.0023069+1.24376e-01]@[0.00000](1), [0.010254+1.23664e-01]@[0.00000](11), [0.015949+1.23788e-01]@[0.00000](15) ... (2305)
Sep 13, 2024 10:49:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53189 loops (35/sec), 3695729 sampling steps, 46625 aborted
loop condition 0.12351, exit probability 0.12229 in initial state
118190 explored states, 2305 states in BSSCs (2305 absorbing)
1049 component updates, 997771850 transient state updates
Bounds: [0.015949+1.24407e-01]@[0.00000](24), [0.13145+1.22952e-01]@[0.00000](149), [0.10569+1.23408e-01]@[0.00000](97), [0.015949+1.23133e-01]@[0.00000](25), [0.0012712+1.23321e-01]@[0.00000](1), [6.3532e-05+1.22945e-01]@[0.00000](0), [0.0013669+1.23309e-01]@[0.00000](3), [0.0023109+1.23765e-01]@[0.00000](1), [0.010255+1.23074e-01]@[0.00000](11), [0.015949+1.23183e-01]@[0.00000](15) ... (2305)
Sep 13, 2024 10:49:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53346 loops (31/sec), 3706958 sampling steps, 46771 aborted
loop condition 0.12293, exit probability 0.12171 in initial state
118388 explored states, 2305 states in BSSCs (2305 absorbing)
1049 component updates, 1021523827 transient state updates
Bounds: [0.015949+1.23830e-01]@[0.00000](24), [0.13145+1.22372e-01]@[0.00000](149), [0.10569+1.22831e-01]@[0.00000](97), [0.015949+1.22564e-01]@[0.00000](25), [0.0012765+1.22753e-01]@[0.00000](1), [6.3912e-05+1.22385e-01]@[0.00000](0), [0.0013680+1.22733e-01]@[0.00000](3), [0.0023227+1.23189e-01]@[0.00000](1), [0.010255+1.22500e-01]@[0.00000](11), [0.015949+1.22600e-01]@[0.00000](15) ... (2305)