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=6,CrowdSize=10 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:47:29 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:29 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 70, 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: 325, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:47:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9655 loops (1931/sec), 699320 sampling steps, 7673 aborted
loop condition 0.41894, exit probability 0.41851 in initial state
26418 explored states, 399 states in BSSCs (399 absorbing)
428 component updates, 36690064 transient state updates
Bounds: [0.087599+4.19201e-01]@[0.00000](79), [0.090901+4.19985e-01]@[0.00000](75), [0.018171+4.19027e-01]@[0.00000](13), [0.017918+4.19033e-01]@[0.00000](18), [0.0016289+4.19025e-01]@[0.00000](4), [0.0015094+4.19882e-01]@[0.00000](2), [0.018445+4.19079e-01]@[0.00000](4), [0.017893+4.19574e-01]@[0.00000](10), [0.00077426+4.18712e-01]@[0.00000](2), [0.017468+4.19054e-01]@[0.00000](10) ... (399)
Sep 13, 2024 10:47:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11245 loops (317/sec), 820196 sampling steps, 9108 aborted
loop condition 0.35093, exit probability 0.35049 in initial state
29215 explored states, 399 states in BSSCs (399 absorbing)
453 component updates, 80184471 transient state updates
Bounds: [0.087599+3.51321e-01]@[0.00000](79), [0.090901+3.52346e-01]@[0.00000](77), [0.018762+3.50927e-01]@[0.00000](13), [0.018877+3.51010e-01]@[0.00000](18), [0.0020793+3.51008e-01]@[0.00000](4), [0.0019458+3.52477e-01]@[0.00000](3), [0.018864+3.50890e-01]@[0.00000](4), [0.018939+3.51530e-01]@[0.00000](11), [0.00096296+3.51172e-01]@[0.00000](2), [0.018935+3.50995e-01]@[0.00000](11) ... (399)
Sep 13, 2024 10:47:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12949 loops (340/sec), 950280 sampling steps, 10623 aborted
loop condition 0.29953, exit probability 0.29911 in initial state
32486 explored states, 399 states in BSSCs (399 absorbing)
492 component updates, 124641346 transient state updates
Bounds: [0.087599+2.99863e-01]@[0.00000](80), [0.090901+3.01183e-01]@[0.00000](79), [0.019037+2.99577e-01]@[0.00000](14), [0.019066+2.99934e-01]@[0.00000](18), [0.0024760+2.99970e-01]@[0.00000](4), [0.0023587+3.01081e-01]@[0.00000](3), [0.019072+2.99514e-01]@[0.00000](5), [0.019092+3.00177e-01]@[0.00000](11), [0.0011251+2.99618e-01]@[0.00000](2), [0.019105+2.99770e-01]@[0.00000](11) ... (399)
Sep 13, 2024 10:47:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14849 loops (375/sec), 1096780 sampling steps, 12299 aborted
loop condition 0.25720, exit probability 0.25673 in initial state
36237 explored states, 399 states in BSSCs (399 absorbing)
537 component updates, 170126483 transient state updates
Bounds: [0.087599+2.57497e-01]@[0.00000](81), [0.090901+2.59098e-01]@[0.00000](81), [0.019108+2.57261e-01]@[0.00000](14), [0.019118+2.57721e-01]@[0.00000](18), [0.0027062+2.57812e-01]@[0.00000](4), [0.0025750+2.58713e-01]@[0.00000](3), [0.019100+2.57079e-01]@[0.00000](6), [0.019126+2.57633e-01]@[0.00000](12), [0.0012543+2.57188e-01]@[0.00000](2), [0.019126+2.57631e-01]@[0.00000](12) ... (399)
Sep 13, 2024 10:47:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17032 loops (434/sec), 1264147 sampling steps, 14208 aborted
loop condition 0.22197, exit probability 0.22147 in initial state
40670 explored states, 399 states in BSSCs (399 absorbing)
619 component updates, 217495658 transient state updates
Bounds: [0.087599+2.22352e-01]@[0.00000](85), [0.090901+2.24134e-01]@[0.00000](85), [0.019123+2.22000e-01]@[0.00000](16), [0.019130+2.22505e-01]@[0.00000](22), [0.0028724+2.22671e-01]@[0.00000](5), [0.0028059+2.23674e-01]@[0.00000](4), [0.019125+2.21913e-01]@[0.00000](8), [0.019131+2.22345e-01]@[0.00000](13), [0.0014086+2.21993e-01]@[0.00000](2), [0.019130+2.22228e-01]@[0.00000](14) ... (399)
Sep 13, 2024 10:47:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19391 loops (471/sec), 1444642 sampling steps, 16322 aborted
loop condition 0.19675, exit probability 0.19623 in initial state
45020 explored states, 399 states in BSSCs (399 absorbing)
682 component updates, 264067291 transient state updates
Bounds: [0.087599+1.97244e-01]@[0.00000](86), [0.090901+1.99055e-01]@[0.00000](89), [0.019131+1.96891e-01]@[0.00000](18), [0.019131+1.97319e-01]@[0.00000](25), [0.0030663+1.97557e-01]@[0.00000](6), [0.0030322+1.98538e-01]@[0.00000](4), [0.019129+1.96708e-01]@[0.00000](8), [0.019132+1.97152e-01]@[0.00000](14), [0.0015464+1.96863e-01]@[0.00000](2), [0.019131+1.96989e-01]@[0.00000](14) ... (399)
Sep 13, 2024 10:48:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21450 loops (411/sec), 1601937 sampling steps, 18159 aborted
loop condition 0.18103, exit probability 0.18048 in initial state
48621 explored states, 399 states in BSSCs (399 absorbing)
749 component updates, 303052244 transient state updates
Bounds: [0.087599+1.81597e-01]@[0.00000](87), [0.090901+1.83277e-01]@[0.00000](95), [0.019131+1.81212e-01]@[0.00000](19), [0.019131+1.81577e-01]@[0.00000](25), [0.0031616+1.81875e-01]@[0.00000](6), [0.0031275+1.82740e-01]@[0.00000](5), [0.019131+1.80953e-01]@[0.00000](8), [0.019132+1.81423e-01]@[0.00000](15), [0.0016572+1.81217e-01]@[0.00000](2), [0.019131+1.81313e-01]@[0.00000](15) ... (399)
Sep 13, 2024 10:48:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23693 loops (448/sec), 1774833 sampling steps, 20187 aborted
loop condition 0.16814, exit probability 0.16759 in initial state
52383 explored states, 399 states in BSSCs (399 absorbing)
819 component updates, 342770998 transient state updates
Bounds: [0.087599+1.68914e-01]@[0.00000](88), [0.090901+1.70420e-01]@[0.00000](96), [0.019132+1.68218e-01]@[0.00000](21), [0.019132+1.68699e-01]@[0.00000](27), [0.0032275+1.69089e-01]@[0.00000](6), [0.0031967+1.69788e-01]@[0.00000](6), [0.019131+1.68084e-01]@[0.00000](10), [0.019132+1.68661e-01]@[0.00000](19), [0.0017391+1.68416e-01]@[0.00000](3), [0.019131+1.68479e-01]@[0.00000](17) ... (399)
Sep 13, 2024 10:48:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25924 loops (446/sec), 1945626 sampling steps, 22210 aborted
loop condition 0.15775, exit probability 0.15721 in initial state
55975 explored states, 399 states in BSSCs (399 absorbing)
884 component updates, 382261381 transient state updates
Bounds: [0.087599+1.58556e-01]@[0.00000](90), [0.090901+1.60076e-01]@[0.00000](101), [0.019132+1.57926e-01]@[0.00000](22), [0.019132+1.58227e-01]@[0.00000](28), [0.0032800+1.58919e-01]@[0.00000](6), [0.0032627+1.59141e-01]@[0.00000](7), [0.019131+1.57736e-01]@[0.00000](11), [0.019132+1.58359e-01]@[0.00000](21), [0.0017939+1.58071e-01]@[0.00000](4), [0.019131+1.58202e-01]@[0.00000](17) ... (399)
Sep 13, 2024 10:48:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28365 loops (488/sec), 2131140 sampling steps, 24443 aborted
loop condition 0.14809, exit probability 0.14751 in initial state
59326 explored states, 399 states in BSSCs (399 absorbing)
963 component updates, 422323528 transient state updates
Bounds: [0.087599+1.48938e-01]@[0.00000](95), [0.090901+1.50389e-01]@[0.00000](101), [0.019132+1.48119e-01]@[0.00000](22), [0.019132+1.48550e-01]@[0.00000](30), [0.0033383+1.49278e-01]@[0.00000](6), [0.0033092+1.49392e-01]@[0.00000](9), [0.019132+1.48075e-01]@[0.00000](12), [0.019132+1.48763e-01]@[0.00000](23), [0.0018475+1.48351e-01]@[0.00000](6), [0.019132+1.48524e-01]@[0.00000](19) ... (399)
Sep 13, 2024 10:48:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30712 loops (469/sec), 2311238 sampling steps, 26586 aborted
loop condition 0.14012, exit probability 0.13952 in initial state
62274 explored states, 399 states in BSSCs (399 absorbing)
1057 component updates, 460799519 transient state updates
Bounds: [0.087599+1.40924e-01]@[0.00000](100), [0.090901+1.42367e-01]@[0.00000](103), [0.019132+1.40169e-01]@[0.00000](24), [0.019132+1.40605e-01]@[0.00000](30), [0.0033655+1.41296e-01]@[0.00000](6), [0.0033505+1.41286e-01]@[0.00000](9), [0.019132+1.40163e-01]@[0.00000](14), [0.019132+1.40725e-01]@[0.00000](23), [0.0018924+1.40363e-01]@[0.00000](6), [0.019132+1.40533e-01]@[0.00000](19) ... (399)
Sep 13, 2024 10:48:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33122 loops (482/sec), 2495347 sampling steps, 28795 aborted
loop condition 0.13347, exit probability 0.13286 in initial state
65134 explored states, 399 states in BSSCs (399 absorbing)
1153 component updates, 498102736 transient state updates
Bounds: [0.087599+1.34285e-01]@[0.00000](101), [0.090901+1.35656e-01]@[0.00000](105), [0.019132+1.33597e-01]@[0.00000](25), [0.019132+1.33870e-01]@[0.00000](32), [0.0033848+1.34606e-01]@[0.00000](6), [0.0033747+1.34570e-01]@[0.00000](9), [0.019132+1.33451e-01]@[0.00000](14), [0.019132+1.34053e-01]@[0.00000](24), [0.0019228+1.33717e-01]@[0.00000](6), [0.019132+1.33948e-01]@[0.00000](19) ... (399)
Sep 13, 2024 10:48:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35695 loops (514/sec), 2691949 sampling steps, 31166 aborted
loop condition 0.12701, exit probability 0.12638 in initial state
68126 explored states, 399 states in BSSCs (399 absorbing)
1245 component updates, 536187870 transient state updates
Bounds: [0.087599+1.27884e-01]@[0.00000](105), [0.090901+1.29054e-01]@[0.00000](109), [0.019132+1.27181e-01]@[0.00000](25), [0.019132+1.27348e-01]@[0.00000](32), [0.0033915+1.28069e-01]@[0.00000](7), [0.0034019+1.27980e-01]@[0.00000](10), [0.019132+1.26964e-01]@[0.00000](15), [0.019132+1.27612e-01]@[0.00000](24), [0.0019742+1.27323e-01]@[0.00000](6), [0.019132+1.27466e-01]@[0.00000](20) ... (399)
Sep 13, 2024 10:48:36 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 844, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:48:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36852 loops (230/sec), 2780708 sampling steps, 32238 aborted
loop condition 0.12423, exit probability 0.12359 in initial state
69446 explored states, 1243 states in BSSCs (1243 absorbing)
1278 component updates, 555316652 transient state updates
Bounds: [0.087599+1.25141e-01]@[0.00000](107), [0.090901+1.26204e-01]@[0.00000](109), [0.019132+1.24406e-01]@[0.00000](25), [0.019132+1.24538e-01]@[0.00000](33), [0.0034032+1.25265e-01]@[0.00000](7), [0.0034123+1.25144e-01]@[0.00000](11), [0.019132+1.24191e-01]@[0.00000](15), [0.019132+1.24834e-01]@[0.00000](24), [0.0019989+1.24576e-01]@[0.00000](6), [0.019132+1.24679e-01]@[0.00000](20) ... (1243)
Sep 13, 2024 10:48:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37186 loops (66/sec), 2805901 sampling steps, 32545 aborted
loop condition 0.12296, exit probability 0.12232 in initial state
69919 explored states, 1243 states in BSSCs (1243 absorbing)
1286 component updates, 584446928 transient state updates
Bounds: [0.087599+1.23866e-01]@[0.00000](107), [0.090901+1.24885e-01]@[0.00000](110), [0.019132+1.23137e-01]@[0.00000](25), [0.019132+1.23256e-01]@[0.00000](33), [0.0034094+1.24014e-01]@[0.00000](7), [0.0034141+1.23846e-01]@[0.00000](11), [0.019132+1.22923e-01]@[0.00000](15), [0.019132+1.23567e-01]@[0.00000](24), [0.0020102+1.23291e-01]@[0.00000](6), [0.019132+1.23432e-01]@[0.00000](20) ... (1243)
Sep 13, 2024 10:48:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37436 loops (49/sec), 2824949 sampling steps, 32784 aborted
loop condition 0.12176, exit probability 0.12111 in initial state
70159 explored states, 1243 states in BSSCs (1243 absorbing)
1288 component updates, 607324187 transient state updates
Bounds: [0.087599+1.22649e-01]@[0.00000](107), [0.090901+1.23660e-01]@[0.00000](110), [0.019132+1.21947e-01]@[0.00000](25), [0.019132+1.22046e-01]@[0.00000](33), [0.0034126+1.22795e-01]@[0.00000](7), [0.0034152+1.22611e-01]@[0.00000](11), [0.019132+1.21720e-01]@[0.00000](15), [0.019132+1.22395e-01]@[0.00000](24), [0.0020252+1.22054e-01]@[0.00000](6), [0.019132+1.22234e-01]@[0.00000](20) ... (1243)
Sep 13, 2024 10:48:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37759 loops (64/sec), 2849517 sampling steps, 33085 aborted
loop condition 0.12037, exit probability 0.11971 in initial state
70565 explored states, 1243 states in BSSCs (1243 absorbing)
1293 component updates, 636015940 transient state updates
Bounds: [0.087599+1.21253e-01]@[0.00000](107), [0.090901+1.22233e-01]@[0.00000](110), [0.019132+1.20545e-01]@[0.00000](25), [0.019132+1.20646e-01]@[0.00000](33), [0.0034143+1.21385e-01]@[0.00000](7), [0.0034156+1.21174e-01]@[0.00000](11), [0.019132+1.20312e-01]@[0.00000](16), [0.019132+1.20992e-01]@[0.00000](24), [0.0020368+1.20651e-01]@[0.00000](6), [0.019132+1.20836e-01]@[0.00000](20) ... (1243)
Sep 13, 2024 10:48:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38065 loops (61/sec), 2872976 sampling steps, 33378 aborted
loop condition 0.11908, exit probability 0.11841 in initial state
70880 explored states, 1243 states in BSSCs (1243 absorbing)
1294 component updates, 663525697 transient state updates
Bounds: [0.087599+1.19966e-01]@[0.00000](107), [0.090901+1.20902e-01]@[0.00000](110), [0.019132+1.19256e-01]@[0.00000](25), [0.019132+1.19361e-01]@[0.00000](33), [0.0034157+1.20094e-01]@[0.00000](7), [0.0034157+1.19842e-01]@[0.00000](11), [0.019132+1.19014e-01]@[0.00000](16), [0.019132+1.19704e-01]@[0.00000](24), [0.0020437+1.19385e-01]@[0.00000](6), [0.019132+1.19549e-01]@[0.00000](20) ... (1243)
Sep 13, 2024 10:49:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38404 loops (67/sec), 2898654 sampling steps, 33700 aborted
loop condition 0.11755, exit probability 0.11687 in initial state
71200 explored states, 1243 states in BSSCs (1243 absorbing)
1303 component updates, 694534832 transient state updates
Bounds: [0.087599+1.18449e-01]@[0.00000](107), [0.090901+1.19341e-01]@[0.00000](111), [0.019132+1.17708e-01]@[0.00000](26), [0.019132+1.17819e-01]@[0.00000](33), [0.0034167+1.18572e-01]@[0.00000](8), [0.0034194+1.18289e-01]@[0.00000](11), [0.019132+1.17466e-01]@[0.00000](16), [0.019132+1.18163e-01]@[0.00000](24), [0.0020560+1.17837e-01]@[0.00000](6), [0.019132+1.18002e-01]@[0.00000](20) ... (1243)
Sep 13, 2024 10:49:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38749 loops (68/sec), 2925028 sampling steps, 34018 aborted
loop condition 0.11598, exit probability 0.11529 in initial state
71637 explored states, 1243 states in BSSCs (1243 absorbing)
1308 component updates, 725490807 transient state updates
Bounds: [0.087599+1.16883e-01]@[0.00000](107), [0.090901+1.17737e-01]@[0.00000](111), [0.019132+1.16128e-01]@[0.00000](26), [0.019132+1.16254e-01]@[0.00000](33), [0.0034181+1.16989e-01]@[0.00000](8), [0.0034217+1.16683e-01]@[0.00000](11), [0.019132+1.15887e-01]@[0.00000](16), [0.019132+1.16590e-01]@[0.00000](24), [0.0020635+1.16282e-01]@[0.00000](6), [0.019132+1.16438e-01]@[0.00000](20) ... (1243)
Sep 13, 2024 10:49:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39067 loops (63/sec), 2949197 sampling steps, 34313 aborted
loop condition 0.11456, exit probability 0.11387 in initial state
72073 explored states, 1243 states in BSSCs (1243 absorbing)
1312 component updates, 753925275 transient state updates
Bounds: [0.087599+1.15454e-01]@[0.00000](107), [0.090901+1.16298e-01]@[0.00000](111), [0.019132+1.14708e-01]@[0.00000](26), [0.019132+1.14837e-01]@[0.00000](33), [0.0034190+1.15596e-01]@[0.00000](8), [0.0034233+1.15255e-01]@[0.00000](11), [0.019132+1.14482e-01]@[0.00000](16), [0.019132+1.15184e-01]@[0.00000](24), [0.0020756+1.14862e-01]@[0.00000](6), [0.019132+1.15024e-01]@[0.00000](20) ... (1243)
Sep 13, 2024 10:49:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39394 loops (65/sec), 2974352 sampling steps, 34629 aborted
loop condition 0.11295, exit probability 0.11225 in initial state
72389 explored states, 1243 states in BSSCs (1243 absorbing)
1315 component updates, 784087259 transient state updates
Bounds: [0.087599+1.13867e-01]@[0.00000](108), [0.090901+1.14692e-01]@[0.00000](111), [0.019132+1.13090e-01]@[0.00000](26), [0.019132+1.13233e-01]@[0.00000](33), [0.0034197+1.13988e-01]@[0.00000](8), [0.0034280+1.13593e-01]@[0.00000](11), [0.019132+1.12879e-01]@[0.00000](16), [0.019132+1.13579e-01]@[0.00000](24), [0.0020898+1.13279e-01]@[0.00000](6), [0.019132+1.13421e-01]@[0.00000](20) ... (1243)
Sep 13, 2024 10:49:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39735 loops (68/sec), 3000104 sampling steps, 34950 aborted
loop condition 0.11143, exit probability 0.11072 in initial state
72808 explored states, 1243 states in BSSCs (1243 absorbing)
1320 component updates, 814359592 transient state updates
Bounds: [0.087599+1.12325e-01]@[0.00000](108), [0.090901+1.13131e-01]@[0.00000](111), [0.019132+1.11561e-01]@[0.00000](27), [0.019132+1.11710e-01]@[0.00000](33), [0.0034204+1.12435e-01]@[0.00000](8), [0.0034296+1.12054e-01]@[0.00000](11), [0.019132+1.11338e-01]@[0.00000](16), [0.019132+1.12086e-01]@[0.00000](25), [0.0021049+1.11745e-01]@[0.00000](6), [0.019132+1.11894e-01]@[0.00000](20) ... (1243)
Sep 13, 2024 10:49:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40073 loops (67/sec), 3025623 sampling steps, 35259 aborted
loop condition 0.11002, exit probability 0.10929 in initial state
73315 explored states, 1243 states in BSSCs (1243 absorbing)
1324 component updates, 843156087 transient state updates
Bounds: [0.087599+1.10892e-01]@[0.00000](108), [0.090901+1.11695e-01]@[0.00000](111), [0.019132+1.10136e-01]@[0.00000](27), [0.019132+1.10271e-01]@[0.00000](33), [0.0034208+1.11005e-01]@[0.00000](8), [0.0034361+1.10609e-01]@[0.00000](11), [0.019132+1.09923e-01]@[0.00000](16), [0.019132+1.10662e-01]@[0.00000](25), [0.0021201+1.10302e-01]@[0.00000](6), [0.019132+1.10486e-01]@[0.00000](20) ... (1243)
Sep 13, 2024 10:49:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40367 loops (58/sec), 3048483 sampling steps, 35537 aborted
loop condition 0.10868, exit probability 0.10794 in initial state
73611 explored states, 1243 states in BSSCs (1243 absorbing)
1330 component updates, 870651654 transient state updates
Bounds: [0.087599+1.09552e-01]@[0.00000](108), [0.090901+1.10335e-01]@[0.00000](111), [0.019132+1.08807e-01]@[0.00000](27), [0.019132+1.08906e-01]@[0.00000](33), [0.0034213+1.09650e-01]@[0.00000](8), [0.0034434+1.09272e-01]@[0.00000](11), [0.019132+1.08577e-01]@[0.00000](16), [0.019132+1.09328e-01]@[0.00000](25), [0.0021361+1.08955e-01]@[0.00000](6), [0.019132+1.09142e-01]@[0.00000](20) ... (1243)
Sep 13, 2024 10:49:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40567 loops (39/sec), 3064067 sampling steps, 35730 aborted
loop condition 0.10772, exit probability 0.10697 in initial state
73810 explored states, 1243 states in BSSCs (1243 absorbing)
1332 component updates, 888983204 transient state updates
Bounds: [0.087599+1.08606e-01]@[0.00000](108), [0.090901+1.09386e-01]@[0.00000](111), [0.019132+1.07847e-01]@[0.00000](27), [0.019132+1.07948e-01]@[0.00000](33), [0.0034215+1.08676e-01]@[0.00000](8), [0.0034456+1.08318e-01]@[0.00000](11), [0.019132+1.07615e-01]@[0.00000](16), [0.019132+1.08376e-01]@[0.00000](25), [0.0021433+1.08015e-01]@[0.00000](6), [0.019132+1.08184e-01]@[0.00000](20) ... (1243)