Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:46:59 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/brp/brp.prism --const N=2048,MAX=4 approximate --sampling SAMPLE_TARGET --precision 0.001
Sep 13, 2024 10:47:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5350 loops (1068/sec), 34903624 sampling steps, 7 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
53467 explored states, 0 states in BSSCs (0 absorbing)
0 component updates, 0 transient state updates
Bounds: None
Sep 13, 2024 10:47:05 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:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
6225 loops (174/sec), 45577050 sampling steps, 323 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
57539 explored states, 1 states in BSSCs (1 absorbing)
378 component updates, 3765366 transient state updates
Bounds: [1.4646e-15+1.00000e+00]@[0.00000](378)
Sep 13, 2024 10:47:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7122 loops (179/sec), 56612546 sampling steps, 698 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
60689 explored states, 1 states in BSSCs (1 absorbing)
801 component updates, 9106644 transient state updates
Bounds: [1.9972e-10+1.00000e+00]@[0.00000](801)
Sep 13, 2024 10:47:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8105 loops (196/sec), 68788714 sampling steps, 1156 aborted
loop condition 1.0000, exit probability 1.0000 in initial state
62950 explored states, 1 states in BSSCs (1 absorbing)
1281 component updates, 15109609 transient state updates
Bounds: [2.8790e-07+1.00000e+00]@[0.00000](1281)
Sep 13, 2024 10:47:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
8992 loops (177/sec), 79803029 sampling steps, 1602 aborted
loop condition 0.99998, exit probability 0.99998 in initial state
64631 explored states, 1 states in BSSCs (1 absorbing)
1691 component updates, 20229887 transient state updates
Bounds: [1.7217e-05+9.99983e-01]@[0.00000](1691)
Sep 13, 2024 10:47:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
9902 loops (182/sec), 91108029 sampling steps, 2036 aborted
loop condition 0.99961, exit probability 0.99961 in initial state
65857 explored states, 1 states in BSSCs (1 absorbing)
2151 component updates, 25961130 transient state updates
Bounds: [0.00039006+9.99610e-01]@[0.00000](2151)
Sep 13, 2024 10:47:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10777 loops (174/sec), 101998673 sampling steps, 2472 aborted
loop condition 0.99679, exit probability 0.99678 in initial state
66922 explored states, 1 states in BSSCs (1 absorbing)
2578 component updates, 31281110 transient state updates
Bounds: [0.0032099+9.96790e-01]@[0.00000](2578)
Sep 13, 2024 10:47:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
11686 loops (181/sec), 113311654 sampling steps, 2935 aborted
loop condition 0.98509, exit probability 0.98505 in initial state
67856 explored states, 1 states in BSSCs (1 absorbing)
3008 component updates, 36649177 transient state updates
Bounds: [0.014910+9.85090e-01]@[0.00000](3008)
Sep 13, 2024 10:47:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
12622 loops (187/sec), 124947955 sampling steps, 3385 aborted
loop condition 0.95367, exit probability 0.95361 in initial state
68713 explored states, 1 states in BSSCs (1 absorbing)
3483 component updates, 42566413 transient state updates
Bounds: [0.046326+9.53674e-01]@[0.00000](3483)
Sep 13, 2024 10:47:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13674 loops (210/sec), 138020064 sampling steps, 3896 aborted
loop condition 0.89856, exit probability 0.89847 in initial state
69655 explored states, 1 states in BSSCs (1 absorbing)
4006 component updates, 49082640 transient state updates
Bounds: [0.10144+8.98560e-01]@[0.00000](4006)
Sep 13, 2024 10:47:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
14695 loops (204/sec), 150716487 sampling steps, 4409 aborted
loop condition 0.83803, exit probability 0.83795 in initial state
70597 explored states, 1 states in BSSCs (1 absorbing)
4498 component updates, 55211255 transient state updates
Bounds: [0.16197+8.38033e-01]@[0.00000](4498)
Sep 13, 2024 10:48:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15768 loops (214/sec), 164070997 sampling steps, 4956 aborted
loop condition 0.78083, exit probability 0.78076 in initial state
71423 explored states, 1 states in BSSCs (1 absorbing)
5013 component updates, 61636032 transient state updates
Bounds: [0.21917+7.80833e-01]@[0.00000](5013)
Sep 13, 2024 10:48:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
16779 loops (201/sec), 176665741 sampling steps, 5477 aborted
loop condition 0.73236, exit probability 0.73230 in initial state
72271 explored states, 1 states in BSSCs (1 absorbing)
5497 component updates, 67665929 transient state updates
Bounds: [0.26764+7.32355e-01]@[0.00000](5497)
Sep 13, 2024 10:48:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
17658 loops (175/sec), 187607813 sampling steps, 5912 aborted
loop condition 0.69272, exit probability 0.69267 in initial state
72978 explored states, 1 states in BSSCs (1 absorbing)
5933 component updates, 73098325 transient state updates
Bounds: [0.30728+6.92724e-01]@[0.00000](5933)
Sep 13, 2024 10:48:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18509 loops (170/sec), 198191810 sampling steps, 6322 aborted
loop condition 0.65981, exit probability 0.65976 in initial state
73785 explored states, 1 states in BSSCs (1 absorbing)
6361 component updates, 78431596 transient state updates
Bounds: [0.34019+6.59812e-01]@[0.00000](6361)
Sep 13, 2024 10:48:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
19420 loops (182/sec), 209528441 sampling steps, 6797 aborted
loop condition 0.62949, exit probability 0.62944 in initial state
74453 explored states, 1 states in BSSCs (1 absorbing)
6794 component updates, 83825761 transient state updates
Bounds: [0.37051+6.29486e-01]@[0.00000](6794)
Sep 13, 2024 10:48:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
20294 loops (174/sec), 220416012 sampling steps, 7230 aborted
loop condition 0.60016, exit probability 0.60012 in initial state
75137 explored states, 1 states in BSSCs (1 absorbing)
7230 component updates, 89257401 transient state updates
Bounds: [0.39984+6.00162e-01]@[0.00000](7230)
Sep 13, 2024 10:48:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21166 loops (174/sec), 231237837 sampling steps, 7658 aborted
loop condition 0.57311, exit probability 0.57307 in initial state
75781 explored states, 1 states in BSSCs (1 absorbing)
7661 component updates, 94626544 transient state updates
Bounds: [0.42689+5.73115e-01]@[0.00000](7661)
Sep 13, 2024 10:48:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
22109 loops (188/sec), 242960763 sampling steps, 8155 aborted
loop condition 0.54264, exit probability 0.54260 in initial state
76378 explored states, 1 states in BSSCs (1 absorbing)
8097 component updates, 100057759 transient state updates
Bounds: [0.45736+5.42637e-01]@[0.00000](8097)
Sep 13, 2024 10:48:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23018 loops (181/sec), 254260033 sampling steps, 8607 aborted
loop condition 0.51545, exit probability 0.51541 in initial state
77013 explored states, 1 states in BSSCs (1 absorbing)
8548 component updates, 105683604 transient state updates
Bounds: [0.48455+5.15446e-01]@[0.00000](8548)
Sep 13, 2024 10:48:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
23970 loops (190/sec), 266109425 sampling steps, 9094 aborted
loop condition 0.48739, exit probability 0.48736 in initial state
77676 explored states, 1 states in BSSCs (1 absorbing)
9008 component updates, 111413435 transient state updates
Bounds: [0.51261+4.87395e-01]@[0.00000](9008)
Sep 13, 2024 10:48:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24908 loops (187/sec), 277785720 sampling steps, 9594 aborted
loop condition 0.46331, exit probability 0.46328 in initial state
78290 explored states, 1 states in BSSCs (1 absorbing)
9439 component updates, 116782649 transient state updates
Bounds: [0.53669+4.63310e-01]@[0.00000](9439)
Sep 13, 2024 10:48:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
25853 loops (188/sec), 289558840 sampling steps, 10063 aborted
loop condition 0.44067, exit probability 0.44064 in initial state
78736 explored states, 1 states in BSSCs (1 absorbing)
9914 component updates, 122700180 transient state updates
Bounds: [0.55933+4.40674e-01]@[0.00000](9914)
Sep 13, 2024 10:49:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26713 loops (172/sec), 300261746 sampling steps, 10488 aborted
loop condition 0.41925, exit probability 0.41922 in initial state
79371 explored states, 1 states in BSSCs (1 absorbing)
10345 component updates, 128069512 transient state updates
Bounds: [0.58075+4.19252e-01]@[0.00000](10345)
Sep 13, 2024 10:49:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
27602 loops (177/sec), 311330881 sampling steps, 10962 aborted
loop condition 0.39920, exit probability 0.39918 in initial state
79966 explored states, 1 states in BSSCs (1 absorbing)
10757 component updates, 133201925 transient state updates
Bounds: [0.60080+3.99204e-01]@[0.00000](10757)
Sep 13, 2024 10:49:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
28491 loops (177/sec), 322380034 sampling steps, 11396 aborted
loop condition 0.37998, exit probability 0.37996 in initial state
80632 explored states, 1 states in BSSCs (1 absorbing)
11203 component updates, 138758256 transient state updates
Bounds: [0.62002+3.79984e-01]@[0.00000](11203)
Sep 13, 2024 10:49:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29714 loops (244/sec), 337596415 sampling steps, 12004 aborted
loop condition 0.35332, exit probability 0.35330 in initial state
81393 explored states, 1 states in BSSCs (1 absorbing)
11810 component updates, 146321107 transient state updates
Bounds: [0.64668+3.53323e-01]@[0.00000](11810)
Sep 13, 2024 10:49:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
30565 loops (170/sec), 348184129 sampling steps, 12451 aborted
loop condition 0.33675, exit probability 0.33673 in initial state
81885 explored states, 1 states in BSSCs (1 absorbing)
12210 component updates, 151304796 transient state updates
Bounds: [0.66325+3.36749e-01]@[0.00000](12210)
Sep 13, 2024 10:49:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
31460 loops (178/sec), 359312402 sampling steps, 12921 aborted
loop condition 0.32029, exit probability 0.32027 in initial state
82378 explored states, 1 states in BSSCs (1 absorbing)
12630 component updates, 156536978 transient state updates
Bounds: [0.67971+3.20289e-01]@[0.00000](12630)
Sep 13, 2024 10:49:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32350 loops (177/sec), 370375627 sampling steps, 13358 aborted
loop condition 0.30556, exit probability 0.30554 in initial state
82889 explored states, 1 states in BSSCs (1 absorbing)
13076 component updates, 162093273 transient state updates
Bounds: [0.69444+3.05563e-01]@[0.00000](13076)
Sep 13, 2024 10:49:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
33251 loops (180/sec), 381597589 sampling steps, 13803 aborted
loop condition 0.29066, exit probability 0.29064 in initial state
83370 explored states, 1 states in BSSCs (1 absorbing)
13530 component updates, 167750010 transient state updates
Bounds: [0.70934+2.90662e-01]@[0.00000](13530)
Sep 13, 2024 10:49:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34132 loops (176/sec), 392549287 sampling steps, 14223 aborted
loop condition 0.27629, exit probability 0.27627 in initial state
83889 explored states, 1 states in BSSCs (1 absorbing)
13986 component updates, 173430243 transient state updates
Bounds: [0.72371+2.76291e-01]@[0.00000](13986)
Sep 13, 2024 10:49:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35012 loops (175/sec), 403491826 sampling steps, 14685 aborted
loop condition 0.26507, exit probability 0.26506 in initial state
84387 explored states, 1 states in BSSCs (1 absorbing)
14399 component updates, 178575589 transient state updates
Bounds: [0.73493+2.65073e-01]@[0.00000](14399)
Sep 13, 2024 10:49:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
35840 loops (165/sec), 413811592 sampling steps, 15100 aborted
loop condition 0.25414, exit probability 0.25412 in initial state
84841 explored states, 1 states in BSSCs (1 absorbing)
14811 component updates, 183708667 transient state updates
Bounds: [0.74586+2.54140e-01]@[0.00000](14811)
Sep 13, 2024 10:49:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
36838 loops (199/sec), 426237033 sampling steps, 15596 aborted
loop condition 0.24076, exit probability 0.24075 in initial state
85311 explored states, 1 states in BSSCs (1 absorbing)
15311 component updates, 189937795 transient state updates
Bounds: [0.75924+2.40760e-01]@[0.00000](15311)
Sep 13, 2024 10:50:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38116 loops (255/sec), 442132197 sampling steps, 16253 aborted
loop condition 0.22681, exit probability 0.22680 in initial state
85949 explored states, 1 states in BSSCs (1 absorbing)
15927 component updates, 197611983 transient state updates
Bounds: [0.77319+2.26814e-01]@[0.00000](15927)
Sep 13, 2024 10:50:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
38967 loops (170/sec), 452729648 sampling steps, 16687 aborted
loop condition 0.21778, exit probability 0.21776 in initial state
86270 explored states, 1 states in BSSCs (1 absorbing)
16343 component updates, 202794715 transient state updates
Bounds: [0.78222+2.17777e-01]@[0.00000](16343)
Sep 13, 2024 10:50:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39935 loops (193/sec), 464766570 sampling steps, 17180 aborted
loop condition 0.20873, exit probability 0.20871 in initial state
86785 explored states, 1 states in BSSCs (1 absorbing)
16813 component updates, 208649720 transient state updates
Bounds: [0.79127+2.08726e-01]@[0.00000](16813)
Sep 13, 2024 10:50:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
40976 loops (208/sec), 477726253 sampling steps, 17720 aborted
loop condition 0.19871, exit probability 0.19870 in initial state
87298 explored states, 1 states in BSSCs (1 absorbing)
17312 component updates, 214865743 transient state updates
Bounds: [0.80129+1.98709e-01]@[0.00000](17312)
Sep 13, 2024 10:50:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42036 loops (211/sec), 490910187 sampling steps, 18252 aborted
loop condition 0.18909, exit probability 0.18908 in initial state
87798 explored states, 1 states in BSSCs (1 absorbing)
17837 component updates, 221407481 transient state updates
Bounds: [0.81091+1.89089e-01]@[0.00000](17837)
Sep 13, 2024 10:50:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
43075 loops (207/sec), 503832119 sampling steps, 18779 aborted
loop condition 0.18055, exit probability 0.18054 in initial state
88219 explored states, 1 states in BSSCs (1 absorbing)
18343 component updates, 227711283 transient state updates
Bounds: [0.81945+1.80552e-01]@[0.00000](18343)
Sep 13, 2024 10:50:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
44113 loops (207/sec), 516758121 sampling steps, 19329 aborted
loop condition 0.17308, exit probability 0.17307 in initial state
88687 explored states, 1 states in BSSCs (1 absorbing)
18827 component updates, 233741488 transient state updates
Bounds: [0.82692+1.73076e-01]@[0.00000](18827)
Sep 13, 2024 10:50:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45112 loops (199/sec), 529192936 sampling steps, 19848 aborted
loop condition 0.16614, exit probability 0.16613 in initial state
89116 explored states, 1 states in BSSCs (1 absorbing)
19304 component updates, 239684242 transient state updates
Bounds: [0.83386+1.66142e-01]@[0.00000](19304)
Sep 13, 2024 10:50:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
46105 loops (198/sec), 541547778 sampling steps, 20343 aborted
loop condition 0.15950, exit probability 0.15949 in initial state
89537 explored states, 1 states in BSSCs (1 absorbing)
19799 component updates, 245851332 transient state updates
Bounds: [0.84050+1.59497e-01]@[0.00000](19799)
Sep 13, 2024 10:50:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47039 loops (186/sec), 553181235 sampling steps, 20789 aborted
loop condition 0.15355, exit probability 0.15354 in initial state
89861 explored states, 1 states in BSSCs (1 absorbing)
20284 component updates, 251894097 transient state updates
Bounds: [0.84645+1.53547e-01]@[0.00000](20284)
Sep 13, 2024 10:50:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47958 loops (183/sec), 564614657 sampling steps, 21256 aborted
loop condition 0.14787, exit probability 0.14787 in initial state
90201 explored states, 1 states in BSSCs (1 absorbing)
20734 component updates, 257499881 transient state updates
Bounds: [0.85213+1.47873e-01]@[0.00000](20734)
Sep 13, 2024 10:50:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
49184 loops (244/sec), 579873474 sampling steps, 21879 aborted
loop condition 0.14144, exit probability 0.14143 in initial state
90603 explored states, 1 states in BSSCs (1 absorbing)
21334 component updates, 264974723 transient state updates
Bounds: [0.85856+1.41437e-01]@[0.00000](21334)
Sep 13, 2024 10:51:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50053 loops (173/sec), 590667827 sampling steps, 22318 aborted
loop condition 0.13709, exit probability 0.13708 in initial state
90968 explored states, 1 states in BSSCs (1 absorbing)
21759 component updates, 270269566 transient state updates
Bounds: [0.86291+1.37088e-01]@[0.00000](21759)
Sep 13, 2024 10:51:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50996 loops (188/sec), 602387039 sampling steps, 22814 aborted
loop condition 0.13305, exit probability 0.13305 in initial state
91323 explored states, 1 states in BSSCs (1 absorbing)
22202 component updates, 275788569 transient state updates
Bounds: [0.86695+1.33053e-01]@[0.00000](22202)
Sep 13, 2024 10:51:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
51892 loops (179/sec), 613547164 sampling steps, 23268 aborted
loop condition 0.12910, exit probability 0.12910 in initial state
91662 explored states, 1 states in BSSCs (1 absorbing)
22643 component updates, 281281912 transient state updates
Bounds: [0.87090+1.29102e-01]@[0.00000](22643)
Sep 13, 2024 10:51:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
52836 loops (188/sec), 625298149 sampling steps, 23739 aborted
loop condition 0.12506, exit probability 0.12505 in initial state
91977 explored states, 1 states in BSSCs (1 absorbing)
23114 component updates, 287149927 transient state updates
Bounds: [0.87494+1.25056e-01]@[0.00000](23114)
Sep 13, 2024 10:51:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53694 loops (171/sec), 635979464 sampling steps, 24143 aborted
loop condition 0.12115, exit probability 0.12115 in initial state
92181 explored states, 1 states in BSSCs (1 absorbing)
23567 component updates, 292793930 transient state updates
Bounds: [0.87885+1.21155e-01]@[0.00000](23567)
Sep 13, 2024 10:51:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
54637 loops (188/sec), 647724855 sampling steps, 24614 aborted
loop condition 0.11784, exit probability 0.11784 in initial state
92475 explored states, 1 states in BSSCs (1 absorbing)
24038 component updates, 298660779 transient state updates
Bounds: [0.88216+1.17842e-01]@[0.00000](24038)
Sep 13, 2024 10:51:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55513 loops (174/sec), 658621745 sampling steps, 25052 aborted
loop condition 0.11465, exit probability 0.11465 in initial state
92755 explored states, 1 states in BSSCs (1 absorbing)
24473 component updates, 304080645 transient state updates
Bounds: [0.88535+1.14653e-01]@[0.00000](24473)
Sep 13, 2024 10:51:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
56562 loops (209/sec), 671677313 sampling steps, 25580 aborted
loop condition 0.11103, exit probability 0.11102 in initial state
93045 explored states, 1 states in BSSCs (1 absorbing)
24993 component updates, 310558522 transient state updates
Bounds: [0.88897+1.11026e-01]@[0.00000](24993)
Sep 13, 2024 10:51:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
57552 loops (197/sec), 684001021 sampling steps, 26087 aborted
loop condition 0.10829, exit probability 0.10829 in initial state
93307 explored states, 1 states in BSSCs (1 absorbing)
25474 component updates, 316551036 transient state updates
Bounds: [0.89171+1.08293e-01]@[0.00000](25474)
Sep 13, 2024 10:51:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58391 loops (167/sec), 694452186 sampling steps, 26532 aborted
loop condition 0.10588, exit probability 0.10588 in initial state
93571 explored states, 1 states in BSSCs (1 absorbing)
25867 component updates, 321447336 transient state updates
Bounds: [0.89412+1.05883e-01]@[0.00000](25867)
Sep 13, 2024 10:51:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
59273 loops (176/sec), 705426105 sampling steps, 26991 aborted
loop condition 0.10374, exit probability 0.10374 in initial state
93802 explored states, 1 states in BSSCs (1 absorbing)
26289 component updates, 326704716 transient state updates
Bounds: [0.89626+1.03742e-01]@[0.00000](26289)
Sep 13, 2024 10:51:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
60087 loops (162/sec), 715556117 sampling steps, 27413 aborted
loop condition 0.10196, exit probability 0.10196 in initial state
94051 explored states, 1 states in BSSCs (1 absorbing)
26678 component updates, 331551159 transient state updates
Bounds: [0.89804+1.01960e-01]@[0.00000](26678)
Sep 13, 2024 10:52:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
61152 loops (212/sec), 728827469 sampling steps, 27929 aborted
loop condition 0.099340, exit probability 0.099338 in initial state
94288 explored states, 1 states in BSSCs (1 absorbing)
27227 component updates, 338390647 transient state updates
Bounds: [0.90066+9.93399e-02]@[0.00000](27227)
Sep 13, 2024 10:52:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
62053 loops (180/sec), 740042340 sampling steps, 28383 aborted
loop condition 0.097574, exit probability 0.097572 in initial state
94465 explored states, 1 states in BSSCs (1 absorbing)
27673 component updates, 343946465 transient state updates
Bounds: [0.90243+9.75742e-02]@[0.00000](27673)
Sep 13, 2024 10:52:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
62879 loops (165/sec), 750332629 sampling steps, 28822 aborted
loop condition 0.095707, exit probability 0.095705 in initial state
94666 explored states, 1 states in BSSCs (1 absorbing)
28059 component updates, 348756415 transient state updates
Bounds: [0.90429+9.57068e-02]@[0.00000](28059)
Sep 13, 2024 10:52:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
63744 loops (172/sec), 761106436 sampling steps, 29294 aborted
loop condition 0.094220, exit probability 0.094218 in initial state
94867 explored states, 1 states in BSSCs (1 absorbing)
28451 component updates, 353639505 transient state updates
Bounds: [0.90578+9.42199e-02]@[0.00000](28451)
Sep 13, 2024 10:52:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
64668 loops (184/sec), 772611516 sampling steps, 29777 aborted
loop condition 0.092566, exit probability 0.092564 in initial state
95073 explored states, 1 states in BSSCs (1 absorbing)
28891 component updates, 359121963 transient state updates
Bounds: [0.90743+9.25656e-02]@[0.00000](28891)
Sep 13, 2024 10:52:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
65425 loops (151/sec), 782038814 sampling steps, 30164 aborted
loop condition 0.091356, exit probability 0.091355 in initial state
95241 explored states, 1 states in BSSCs (1 absorbing)
29260 component updates, 363719280 transient state updates
Bounds: [0.90864+9.13565e-02]@[0.00000](29260)
Sep 13, 2024 10:52:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
66269 loops (168/sec), 792541061 sampling steps, 30616 aborted
loop condition 0.090180, exit probability 0.090178 in initial state
95438 explored states, 1 states in BSSCs (1 absorbing)
29651 component updates, 368589451 transient state updates
Bounds: [0.90982+9.01800e-02]@[0.00000](29651)
Sep 13, 2024 10:52:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
67270 loops (200/sec), 805002420 sampling steps, 31119 aborted
loop condition 0.088815, exit probability 0.088813 in initial state
95627 explored states, 1 states in BSSCs (1 absorbing)
30147 component updates, 374769018 transient state updates
Bounds: [0.91119+8.88148e-02]@[0.00000](30147)
Sep 13, 2024 10:52:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
68279 loops (201/sec), 817551259 sampling steps, 31653 aborted
loop condition 0.087692, exit probability 0.087691 in initial state
95880 explored states, 1 states in BSSCs (1 absorbing)
30621 component updates, 380674142 transient state updates
Bounds: [0.91231+8.76920e-02]@[0.00000](30621)
Sep 13, 2024 10:52:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
69276 loops (199/sec), 829970464 sampling steps, 32166 aborted
loop condition 0.086608, exit probability 0.086607 in initial state
96150 explored states, 1 states in BSSCs (1 absorbing)
31104 component updates, 386691741 transient state updates
Bounds: [0.91339+8.66084e-02]@[0.00000](31104)
Sep 13, 2024 10:52:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
70268 loops (198/sec), 842309448 sampling steps, 32682 aborted
loop condition 0.085549, exit probability 0.085547 in initial state
96332 explored states, 1 states in BSSCs (1 absorbing)
31578 component updates, 392596960 transient state updates
Bounds: [0.91445+8.55485e-02]@[0.00000](31578)
Sep 13, 2024 10:52:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
71245 loops (195/sec), 854485356 sampling steps, 33189 aborted
loop condition 0.084551, exit probability 0.084550 in initial state
96531 explored states, 1 states in BSSCs (1 absorbing)
32048 component updates, 398452203 transient state updates
Bounds: [0.91545+8.45508e-02]@[0.00000](32048)
Sep 13, 2024 10:53:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
72123 loops (175/sec), 865398734 sampling steps, 33634 aborted
loop condition 0.083553, exit probability 0.083552 in initial state
96700 explored states, 1 states in BSSCs (1 absorbing)
32481 component updates, 403846950 transient state updates
Bounds: [0.91645+8.35534e-02]@[0.00000](32481)
Sep 13, 2024 10:53:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
73471 loops (269/sec), 882191527 sampling steps, 34351 aborted
loop condition 0.082200, exit probability 0.082199 in initial state
96962 explored states, 1 states in BSSCs (1 absorbing)
33111 component updates, 411694928 transient state updates
Bounds: [0.91780+8.21999e-02]@[0.00000](33111)
Sep 13, 2024 10:53:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
74319 loops (169/sec), 892744474 sampling steps, 34761 aborted
loop condition 0.081487, exit probability 0.081486 in initial state
97189 explored states, 1 states in BSSCs (1 absorbing)
33548 component updates, 417138976 transient state updates
Bounds: [0.91851+8.14874e-02]@[0.00000](33548)
Sep 13, 2024 10:53:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
75252 loops (186/sec), 904372936 sampling steps, 35268 aborted
loop condition 0.080803, exit probability 0.080802 in initial state
97416 explored states, 1 states in BSSCs (1 absorbing)
33974 component updates, 422446180 transient state updates
Bounds: [0.91920+8.08031e-02]@[0.00000](33974)
Sep 13, 2024 10:53:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
76135 loops (176/sec), 915326305 sampling steps, 35740 aborted
loop condition 0.080173, exit probability 0.080173 in initial state
97554 explored states, 1 states in BSSCs (1 absorbing)
34382 component updates, 427528773 transient state updates
Bounds: [0.91983+8.01733e-02]@[0.00000](34382)
Sep 13, 2024 10:53:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77070 loops (186/sec), 926960063 sampling steps, 36243 aborted
loop condition 0.079533, exit probability 0.079532 in initial state
97733 explored states, 1 states in BSSCs (1 absorbing)
34813 component updates, 432898528 transient state updates
Bounds: [0.92047+7.95330e-02]@[0.00000](34813)
Sep 13, 2024 10:53:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77957 loops (177/sec), 938001791 sampling steps, 36724 aborted
loop condition 0.078877, exit probability 0.078877 in initial state
97933 explored states, 1 states in BSSCs (1 absorbing)
35218 component updates, 437943936 transient state updates
Bounds: [0.92112+7.88773e-02]@[0.00000](35218)
Sep 13, 2024 10:53:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
78878 loops (184/sec), 949467762 sampling steps, 37212 aborted
loop condition 0.078236, exit probability 0.078236 in initial state
98097 explored states, 1 states in BSSCs (1 absorbing)
35649 component updates, 443313896 transient state updates
Bounds: [0.92176+7.82364e-02]@[0.00000](35649)
Sep 13, 2024 10:53:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
79724 loops (169/sec), 960007416 sampling steps, 37628 aborted
loop condition 0.077738, exit probability 0.077738 in initial state
98211 explored states, 1 states in BSSCs (1 absorbing)
36079 component updates, 448670358 transient state updates
Bounds: [0.92226+7.77383e-02]@[0.00000](36079)
Sep 13, 2024 10:53:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
80633 loops (181/sec), 971305980 sampling steps, 38089 aborted
loop condition 0.077220, exit probability 0.077219 in initial state
98378 explored states, 1 states in BSSCs (1 absorbing)
36527 component updates, 454251480 transient state updates
Bounds: [0.92278+7.72201e-02]@[0.00000](36527)
Sep 13, 2024 10:53:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
81428 loops (158/sec), 981202256 sampling steps, 38496 aborted
loop condition 0.076629, exit probability 0.076628 in initial state
98538 explored states, 1 states in BSSCs (1 absorbing)
36914 component updates, 459073581 transient state updates
Bounds: [0.92337+7.66291e-02]@[0.00000](36914)
Sep 13, 2024 10:53:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
82244 loops (163/sec), 991365810 sampling steps, 38910 aborted
loop condition 0.076083, exit probability 0.076083 in initial state
98654 explored states, 1 states in BSSCs (1 absorbing)
37316 component updates, 464082099 transient state updates
Bounds: [0.92392+7.60832e-02]@[0.00000](37316)
Sep 13, 2024 10:54:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
83283 loops (207/sec), 1004295834 sampling steps, 39442 aborted
loop condition 0.075547, exit probability 0.075547 in initial state
98838 explored states, 1 states in BSSCs (1 absorbing)
37823 component updates, 470398640 transient state updates
Bounds: [0.92445+7.55475e-02]@[0.00000](37823)
Sep 13, 2024 10:54:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
84234 loops (190/sec), 1016143542 sampling steps, 39933 aborted
loop condition 0.074960, exit probability 0.074960 in initial state
98971 explored states, 1 states in BSSCs (1 absorbing)
38283 component updates, 476129339 transient state updates
Bounds: [0.92504+7.49604e-02]@[0.00000](38283)
Sep 13, 2024 10:54:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
85030 loops (159/sec), 1026045594 sampling steps, 40340 aborted
loop condition 0.074560, exit probability 0.074560 in initial state
99114 explored states, 1 states in BSSCs (1 absorbing)
38672 component updates, 480975302 transient state updates
Bounds: [0.92544+7.45600e-02]@[0.00000](38672)
Sep 13, 2024 10:54:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
85803 loops (154/sec), 1035663141 sampling steps, 40728 aborted
loop condition 0.074156, exit probability 0.074155 in initial state
99215 explored states, 1 states in BSSCs (1 absorbing)
39056 component updates, 485759154 transient state updates
Bounds: [0.92584+7.41555e-02]@[0.00000](39056)
Sep 13, 2024 10:54:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
86625 loops (164/sec), 1045907521 sampling steps, 41148 aborted
loop condition 0.073769, exit probability 0.073769 in initial state
99342 explored states, 1 states in BSSCs (1 absorbing)
39458 component updates, 490768047 transient state updates
Bounds: [0.92623+7.37691e-02]@[0.00000](39458)
Sep 13, 2024 10:54:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
87392 loops (153/sec), 1055448159 sampling steps, 41540 aborted
loop condition 0.073400, exit probability 0.073399 in initial state
99452 explored states, 1 states in BSSCs (1 absorbing)
39833 component updates, 495439520 transient state updates
Bounds: [0.92660+7.33999e-02]@[0.00000](39833)
Sep 13, 2024 10:54:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
88313 loops (184/sec), 1066924131 sampling steps, 41996 aborted
loop condition 0.072945, exit probability 0.072945 in initial state
99539 explored states, 1 states in BSSCs (1 absorbing)
40298 component updates, 501232949 transient state updates
Bounds: [0.92705+7.29452e-02]@[0.00000](40298)
Sep 13, 2024 10:54:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
89239 loops (185/sec), 1078455694 sampling steps, 42475 aborted
loop condition 0.072551, exit probability 0.072551 in initial state
99645 explored states, 1 states in BSSCs (1 absorbing)
40745 component updates, 506800669 transient state updates
Bounds: [0.92745+7.25510e-02]@[0.00000](40745)
Sep 13, 2024 10:54:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90075 loops (166/sec), 1088874630 sampling steps, 42919 aborted
loop condition 0.072263, exit probability 0.072263 in initial state
99740 explored states, 1 states in BSSCs (1 absorbing)
41137 component updates, 511685104 transient state updates
Bounds: [0.92774+7.22631e-02]@[0.00000](41137)
Sep 13, 2024 10:54:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90864 loops (157/sec), 1098694035 sampling steps, 43327 aborted
loop condition 0.071950, exit probability 0.071950 in initial state
99856 explored states, 1 states in BSSCs (1 absorbing)
41517 component updates, 516419074 transient state updates
Bounds: [0.92805+7.19502e-02]@[0.00000](41517)
Sep 13, 2024 10:54:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
91812 loops (189/sec), 1110501592 sampling steps, 43791 aborted
loop condition 0.071556, exit probability 0.071556 in initial state
99970 explored states, 1 states in BSSCs (1 absorbing)
42000 component updates, 522436081 transient state updates
Bounds: [0.92844+7.15564e-02]@[0.00000](42000)
Sep 13, 2024 10:54:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
92760 loops (189/sec), 1122307602 sampling steps, 44294 aborted
loop condition 0.071232, exit probability 0.071232 in initial state
100139 explored states, 1 states in BSSCs (1 absorbing)
42444 component updates, 527967272 transient state updates
Bounds: [0.92877+7.12320e-02]@[0.00000](42444)
Sep 13, 2024 10:55:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
93989 loops (245/sec), 1137608700 sampling steps, 44912 aborted
loop condition 0.070853, exit probability 0.070853 in initial state
100303 explored states, 1 states in BSSCs (1 absorbing)
43055 component updates, 535579109 transient state updates
Bounds: [0.92915+7.08535e-02]@[0.00000](43055)
Sep 13, 2024 10:55:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
94938 loops (189/sec), 1149428470 sampling steps, 45415 aborted
loop condition 0.070590, exit probability 0.070590 in initial state
100421 explored states, 1 states in BSSCs (1 absorbing)
43499 component updates, 541110018 transient state updates
Bounds: [0.92941+7.05900e-02]@[0.00000](43499)
Sep 13, 2024 10:55:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
95773 loops (166/sec), 1159827750 sampling steps, 45860 aborted
loop condition 0.070378, exit probability 0.070377 in initial state
100526 explored states, 1 states in BSSCs (1 absorbing)
43889 component updates, 545968035 transient state updates
Bounds: [0.92962+7.03776e-02]@[0.00000](43889)
Sep 13, 2024 10:55:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
96623 loops (169/sec), 1170399893 sampling steps, 46326 aborted
loop condition 0.070133, exit probability 0.070133 in initial state
100677 explored states, 1 states in BSSCs (1 absorbing)
44273 component updates, 550751841 transient state updates
Bounds: [0.92987+7.01328e-02]@[0.00000](44273)
Sep 13, 2024 10:55:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
97384 loops (152/sec), 1179875501 sampling steps, 46717 aborted
loop condition 0.069918, exit probability 0.069918 in initial state
100766 explored states, 1 states in BSSCs (1 absorbing)
44643 component updates, 555360840 transient state updates
Bounds: [0.93008+6.99184e-02]@[0.00000](44643)
Sep 13, 2024 10:55:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
98215 loops (166/sec), 1190230165 sampling steps, 47137 aborted
loop condition 0.069709, exit probability 0.069709 in initial state
100887 explored states, 1 states in BSSCs (1 absorbing)
45054 component updates, 560481783 transient state updates
Bounds: [0.93029+6.97088e-02]@[0.00000](45054)
Sep 13, 2024 10:55:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
99035 loops (163/sec), 1200442029 sampling steps, 47551 aborted
loop condition 0.069499, exit probability 0.069499 in initial state
100992 explored states, 1 states in BSSCs (1 absorbing)
45460 component updates, 565540114 transient state updates
Bounds: [0.93050+6.94994e-02]@[0.00000](45460)
Sep 13, 2024 10:55:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
99905 loops (173/sec), 1211270487 sampling steps, 47989 aborted
loop condition 0.069283, exit probability 0.069283 in initial state
101098 explored states, 1 states in BSSCs (1 absorbing)
45892 component updates, 570921778 transient state updates
Bounds: [0.93072+6.92832e-02]@[0.00000](45892)
Sep 13, 2024 10:55:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
100673 loops (153/sec), 1220832189 sampling steps, 48390 aborted
loop condition 0.069099, exit probability 0.069098 in initial state
101222 explored states, 1 states in BSSCs (1 absorbing)
46259 component updates, 575492887 transient state updates
Bounds: [0.93090+6.90986e-02]@[0.00000](46259)
Sep 13, 2024 10:55:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
101536 loops (172/sec), 1231584549 sampling steps, 48836 aborted
loop condition 0.068906, exit probability 0.068906 in initial state
101369 explored states, 1 states in BSSCs (1 absorbing)
46676 component updates, 580687173 transient state updates
Bounds: [0.93109+6.89060e-02]@[0.00000](46676)
Sep 13, 2024 10:55:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
102426 loops (177/sec), 1242672251 sampling steps, 49272 aborted
loop condition 0.068718, exit probability 0.068717 in initial state
101490 explored states, 1 states in BSSCs (1 absorbing)
47130 component updates, 586342377 transient state updates
Bounds: [0.93128+6.87176e-02]@[0.00000](47130)
Sep 13, 2024 10:55:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103656 loops (245/sec), 1257987945 sampling steps, 49898 aborted
loop condition 0.068452, exit probability 0.068452 in initial state
101688 explored states, 1 states in BSSCs (1 absorbing)
47734 component updates, 593866712 transient state updates
Bounds: [0.93155+6.84522e-02]@[0.00000](47734)
Sep 13, 2024 10:56:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
104483 loops (165/sec), 1268279523 sampling steps, 50335 aborted
loop condition 0.068305, exit probability 0.068305 in initial state
101776 explored states, 1 states in BSSCs (1 absorbing)
48124 component updates, 598725147 transient state updates
Bounds: [0.93169+6.83053e-02]@[0.00000](48124)
Sep 13, 2024 10:56:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
105315 loops (166/sec), 1278629257 sampling steps, 50784 aborted
loop condition 0.068152, exit probability 0.068151 in initial state
101857 explored states, 1 states in BSSCs (1 absorbing)
48507 component updates, 603496724 transient state updates
Bounds: [0.93185+6.81516e-02]@[0.00000](48507)
Sep 13, 2024 10:56:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
106146 loops (166/sec), 1288971912 sampling steps, 51225 aborted
loop condition 0.068016, exit probability 0.068016 in initial state
101961 explored states, 1 states in BSSCs (1 absorbing)
48896 component updates, 608342957 transient state updates
Bounds: [0.93198+6.80158e-02]@[0.00000](48896)
Sep 13, 2024 10:56:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
106979 loops (166/sec), 1299339436 sampling steps, 51646 aborted
loop condition 0.067876, exit probability 0.067876 in initial state
102031 explored states, 1 states in BSSCs (1 absorbing)
49308 component updates, 613475605 transient state updates
Bounds: [0.93212+6.78765e-02]@[0.00000](49308)
Sep 13, 2024 10:56:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
107773 loops (158/sec), 1309222606 sampling steps, 52037 aborted
loop condition 0.067730, exit probability 0.067730 in initial state
102143 explored states, 1 states in BSSCs (1 absorbing)
49711 component updates, 618496316 transient state updates
Bounds: [0.93227+6.77299e-02]@[0.00000](49711)
Sep 13, 2024 10:56:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
108552 loops (155/sec), 1318929398 sampling steps, 52425 aborted
loop condition 0.067595, exit probability 0.067595 in initial state
102227 explored states, 1 states in BSSCs (1 absorbing)
50102 component updates, 623367721 transient state updates
Bounds: [0.93240+6.75951e-02]@[0.00000](50102)
Sep 13, 2024 10:56:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
109394 loops (168/sec), 1329410066 sampling steps, 52863 aborted
loop condition 0.067438, exit probability 0.067438 in initial state
102296 explored states, 1 states in BSSCs (1 absorbing)
50505 component updates, 628387589 transient state updates
Bounds: [0.93256+6.74380e-02]@[0.00000](50505)
Sep 13, 2024 10:56:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
110158 loops (152/sec), 1338908019 sampling steps, 53252 aborted
loop condition 0.067296, exit probability 0.067296 in initial state
102393 explored states, 1 states in BSSCs (1 absorbing)
50879 component updates, 633046259 transient state updates
Bounds: [0.93270+6.72958e-02]@[0.00000](50879)
Sep 13, 2024 10:56:38 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 117, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 10:56:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
110695 loops (106/sec), 1345599324 sampling steps, 53550 aborted
loop condition 0.067213, exit probability 0.067212 in initial state
102481 explored states, 118 states in BSSCs (118 absorbing)
51118 component updates, 647628718 transient state updates
Bounds: [0.93279+6.72125e-02]@[0.00000](51115), [0.0000+6.72130e-02]@[0.00000](0), [0.0000+6.72130e-02]@[0.00000](0), [0.0000+6.72130e-02]@[0.00000](0), [1.9096e-96+6.72130e-02]@[0.00000](0), [0.0000+6.72130e-02]@[0.00000](0), [0.0000+6.72130e-02]@[0.00000](0), [0.0000+6.72130e-02]@[0.00000](0), [0.0000+6.72130e-02]@[0.00000](0), [0.0000+6.72130e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:56:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
111314 loops (123/sec), 1353328596 sampling steps, 54141 aborted
loop condition 0.067203, exit probability 0.067202 in initial state
102723 explored states, 118 states in BSSCs (118 absorbing)
51145 component updates, 686780174 transient state updates
Bounds: [0.93280+6.72026e-02]@[0.00000](51117), [0.0000+6.72037e-02]@[0.00000](0), [0.0000+6.72030e-02]@[0.00000](0), [0.0000+6.72030e-02]@[0.00000](0), [5.4139e-41+6.72034e-02]@[0.00000](6), [0.0000+6.72030e-02]@[0.00000](0), [0.0000+6.72030e-02]@[0.00000](0), [0.0000+6.72030e-02]@[0.00000](0), [0.0000+6.72032e-02]@[0.00000](0), [0.0000+6.72030e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:56:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
111943 loops (123/sec), 1361175183 sampling steps, 54755 aborted
loop condition 0.067198, exit probability 0.067198 in initial state
102894 explored states, 118 states in BSSCs (118 absorbing)
51160 component updates, 709890466 transient state updates
Bounds: [0.93280+6.71984e-02]@[0.00000](51123), [0.0000+6.71999e-02]@[0.00000](0), [0.0000+6.72000e-02]@[0.00000](0), [0.0000+6.71988e-02]@[0.00000](0), [6.9123e-33+6.71993e-02]@[0.00000](11), [0.0000+6.71989e-02]@[0.00000](0), [0.0000+6.71993e-02]@[0.00000](0), [0.0000+6.71988e-02]@[0.00000](0), [0.0000+6.71990e-02]@[0.00000](0), [0.0000+6.71988e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:56:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
112535 loops (118/sec), 1368552088 sampling steps, 55334 aborted
loop condition 0.067195, exit probability 0.067195 in initial state
103087 explored states, 118 states in BSSCs (118 absorbing)
51173 component updates, 728705593 transient state updates
Bounds: [0.93280+6.71952e-02]@[0.00000](51127), [0.0000+6.71967e-02]@[0.00000](0), [0.0000+6.71967e-02]@[0.00000](0), [0.0000+6.71954e-02]@[0.00000](0), [2.4069e-28+6.71960e-02]@[0.00000](15), [0.0000+6.71965e-02]@[0.00000](0), [0.0000+6.71959e-02]@[0.00000](0), [0.0000+6.71957e-02]@[0.00000](0), [0.0000+6.71956e-02]@[0.00000](0), [0.0000+6.71955e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:57:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113214 loops (135/sec), 1377012986 sampling steps, 55997 aborted
loop condition 0.067189, exit probability 0.067188 in initial state
103257 explored states, 118 states in BSSCs (118 absorbing)
51189 component updates, 753363751 transient state updates
Bounds: [0.93281+6.71886e-02]@[0.00000](51132), [0.0000+6.71895e-02]@[0.00000](0), [0.0000+6.71901e-02]@[0.00000](0), [0.0000+6.71888e-02]@[0.00000](0), [3.7335e-26+6.71895e-02]@[0.00000](22), [0.0000+6.71901e-02]@[0.00000](0), [0.0000+6.71892e-02]@[0.00000](0), [0.0000+6.71889e-02]@[0.00000](0), [0.0000+6.71890e-02]@[0.00000](0), [0.0000+6.71889e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:57:05 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
113740 loops (104/sec), 1383568493 sampling steps, 56503 aborted
loop condition 0.067183, exit probability 0.067182 in initial state
103414 explored states, 118 states in BSSCs (118 absorbing)
51208 component updates, 782415270 transient state updates
Bounds: [0.93282+6.71828e-02]@[0.00000](51135), [0.0000+6.71837e-02]@[0.00000](0), [0.0000+6.71843e-02]@[0.00000](0), [0.0000+6.71829e-02]@[0.00000](0), [8.3560e-25+6.71838e-02]@[0.00000](27), [0.0000+6.71844e-02]@[0.00000](0), [0.0000+6.71834e-02]@[0.00000](0), [0.0000+6.71832e-02]@[0.00000](0), [0.0000+6.71836e-02]@[0.00000](0), [0.0000+6.71831e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:57:10 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
114278 loops (107/sec), 1390260689 sampling steps, 57023 aborted
loop condition 0.067175, exit probability 0.067174 in initial state
103565 explored states, 118 states in BSSCs (118 absorbing)
51225 component updates, 810966327 transient state updates
Bounds: [0.93282+6.71752e-02]@[0.00000](51142), [0.0000+6.71758e-02]@[0.00000](0), [0.0000+6.71759e-02]@[0.00000](0), [0.0000+6.71745e-02]@[0.00000](0), [1.4929e-23+6.71754e-02]@[0.00000](32), [0.0000+6.71762e-02]@[0.00000](0), [0.0000+6.71750e-02]@[0.00000](0), [0.0000+6.71747e-02]@[0.00000](0), [0.0000+6.71755e-02]@[0.00000](0), [0.0000+6.71746e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:57:15 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
114871 loops (118/sec), 1397654668 sampling steps, 57598 aborted
loop condition 0.067169, exit probability 0.067167 in initial state
103659 explored states, 118 states in BSSCs (118 absorbing)
51243 component updates, 837166398 transient state updates
Bounds: [0.93283+6.71685e-02]@[0.00000](51148), [0.0000+6.71694e-02]@[0.00000](0), [0.0000+6.71693e-02]@[0.00000](0), [0.0000+6.71678e-02]@[0.00000](0), [9.5711e-23+6.71687e-02]@[0.00000](39), [0.0000+6.71698e-02]@[0.00000](0), [0.0000+6.71684e-02]@[0.00000](0), [0.0000+6.71681e-02]@[0.00000](0), [0.0000+6.71691e-02]@[0.00000](0), [0.0000+6.71682e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:57:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
115468 loops (119/sec), 1405093205 sampling steps, 58179 aborted
loop condition 0.067163, exit probability 0.067161 in initial state
103820 explored states, 118 states in BSSCs (118 absorbing)
51259 component updates, 864792056 transient state updates
Bounds: [0.93284+6.71625e-02]@[0.00000](51152), [3.4626e-79+6.71632e-02]@[0.00000](0), [0.0000+6.71621e-02]@[0.00000](0), [0.0000+6.71617e-02]@[0.00000](0), [3.3938e-22+6.71626e-02]@[0.00000](46), [0.0000+6.71628e-02]@[0.00000](0), [0.0000+6.71623e-02]@[0.00000](0), [0.0000+6.71620e-02]@[0.00000](0), [0.0000+6.71632e-02]@[0.00000](0), [0.0000+6.71620e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:57:25 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
115974 loops (101/sec), 1411397162 sampling steps, 58666 aborted
loop condition 0.067155, exit probability 0.067153 in initial state
103952 explored states, 118 states in BSSCs (118 absorbing)
51278 component updates, 893800191 transient state updates
Bounds: [0.93285+6.71545e-02]@[0.00000](51159), [7.6344e-49+6.71550e-02]@[0.00000](0), [0.0000+6.71539e-02]@[0.00000](0), [0.0000+6.71534e-02]@[0.00000](0), [1.9861e-21+6.71543e-02]@[0.00000](52), [0.0000+6.71545e-02]@[0.00000](0), [0.0000+6.71540e-02]@[0.00000](0), [0.0000+6.71538e-02]@[0.00000](0), [0.0000+6.71553e-02]@[0.00000](0), [0.0000+6.71544e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:57:30 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
116632 loops (131/sec), 1419586720 sampling steps, 59304 aborted
loop condition 0.067142, exit probability 0.067140 in initial state
104072 explored states, 118 states in BSSCs (118 absorbing)
51298 component updates, 924230285 transient state updates
Bounds: [0.93286+6.71416e-02]@[0.00000](51167), [1.8948e-37+6.71422e-02]@[0.00000](0), [0.0000+6.71412e-02]@[0.00000](0), [0.0000+6.71406e-02]@[0.00000](0), [7.4095e-21+6.71416e-02]@[0.00000](57), [0.0000+6.71418e-02]@[0.00000](0), [0.0000+6.71413e-02]@[0.00000](0), [0.0000+6.71413e-02]@[0.00000](0), [0.0000+6.71429e-02]@[0.00000](0), [0.0000+6.71418e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:57:35 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117367 loops (145/sec), 1428727482 sampling steps, 60025 aborted
loop condition 0.067137, exit probability 0.067135 in initial state
104223 explored states, 118 states in BSSCs (118 absorbing)
51312 component updates, 944683455 transient state updates
Bounds: [0.93286+6.71366e-02]@[0.00000](51174), [3.7219e-35+6.71376e-02]@[0.00000](0), [0.0000+6.71362e-02]@[0.00000](0), [0.0000+6.71361e-02]@[0.00000](0), [1.8686e-20+6.71366e-02]@[0.00000](61), [0.0000+6.71368e-02]@[0.00000](0), [0.0000+6.71363e-02]@[0.00000](0), [0.0000+6.71362e-02]@[0.00000](0), [0.0000+6.71381e-02]@[0.00000](0), [0.0000+6.71369e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:57:40 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
117971 loops (120/sec), 1436222946 sampling steps, 60613 aborted
loop condition 0.067130, exit probability 0.067128 in initial state
104380 explored states, 118 states in BSSCs (118 absorbing)
51328 component updates, 970797513 transient state updates
Bounds: [0.93287+6.71297e-02]@[0.00000](51182), [1.7027e-33+6.71314e-02]@[0.00000](0), [0.0000+6.71295e-02]@[0.00000](0), [0.0000+6.71294e-02]@[0.00000](0), [5.4042e-20+6.71298e-02]@[0.00000](64), [0.0000+6.71300e-02]@[0.00000](0), [0.0000+6.71298e-02]@[0.00000](0), [0.0000+6.71297e-02]@[0.00000](0), [0.0000+6.71316e-02]@[0.00000](0), [0.0000+6.71302e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:57:45 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
118568 loops (119/sec), 1443641096 sampling steps, 61196 aborted
loop condition 0.067122, exit probability 0.067121 in initial state
104555 explored states, 118 states in BSSCs (118 absorbing)
51342 component updates, 994898105 transient state updates
Bounds: [0.93288+6.71225e-02]@[0.00000](51186), [3.2752e-32+6.71241e-02]@[0.00000](0), [0.0000+6.71222e-02]@[0.00000](0), [0.0000+6.71223e-02]@[0.00000](0), [1.7125e-19+6.71225e-02]@[0.00000](69), [0.0000+6.71227e-02]@[0.00000](0), [0.0000+6.71225e-02]@[0.00000](0), [0.0000+6.71228e-02]@[0.00000](0), [0.0000+6.71246e-02]@[0.00000](0), [0.0000+6.71229e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:57:50 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
119282 loops (141/sec), 1452498424 sampling steps, 61895 aborted
loop condition 0.067111, exit probability 0.067109 in initial state
104723 explored states, 118 states in BSSCs (118 absorbing)
51356 component updates, 1016732034 transient state updates
Bounds: [0.93289+6.71108e-02]@[0.00000](51193), [2.9441e-31+6.71122e-02]@[0.00000](0), [0.0000+6.71105e-02]@[0.00000](0), [0.0000+6.71106e-02]@[0.00000](0), [4.3404e-19+6.71108e-02]@[0.00000](72), [0.0000+6.71107e-02]@[0.00000](0), [0.0000+6.71108e-02]@[0.00000](0), [0.0000+6.71112e-02]@[0.00000](0), [0.0000+6.71134e-02]@[0.00000](0), [0.0000+6.71111e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:57:55 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
120058 loops (153/sec), 1462120890 sampling steps, 62657 aborted
loop condition 0.067105, exit probability 0.067103 in initial state
104915 explored states, 118 states in BSSCs (118 absorbing)
51370 component updates, 1037119725 transient state updates
Bounds: [0.93290+6.71049e-02]@[0.00000](51200), [1.0636e-30+6.71062e-02]@[0.00000](0), [0.0000+6.71053e-02]@[0.00000](0), [0.0000+6.71050e-02]@[0.00000](0), [8.5230e-19+6.71048e-02]@[0.00000](77), [0.0000+6.71048e-02]@[0.00000](0), [0.0000+6.71047e-02]@[0.00000](0), [0.0000+6.71059e-02]@[0.00000](0), [0.0000+6.71080e-02]@[0.00000](0), [0.0000+6.71052e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:58:00 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
120737 loops (135/sec), 1470550517 sampling steps, 63317 aborted
loop condition 0.067094, exit probability 0.067091 in initial state
105057 explored states, 118 states in BSSCs (118 absorbing)
51389 component updates, 1069752247 transient state updates
Bounds: [0.93291+6.70936e-02]@[0.00000](51207), [1.0864e-29+6.70953e-02]@[0.00000](0), [0.0000+6.70952e-02]@[0.00000](0), [0.0000+6.70939e-02]@[0.00000](0), [2.8530e-18+6.70935e-02]@[0.00000](83), [0.0000+6.70940e-02]@[0.00000](0), [0.0000+6.70933e-02]@[0.00000](0), [1.3808e-38+6.70939e-02]@[0.00000](0), [0.0000+6.70973e-02]@[0.00000](0), [0.0000+6.70938e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:58:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
121366 loops (124/sec), 1478343053 sampling steps, 63928 aborted
loop condition 0.067086, exit probability 0.067084 in initial state
105184 explored states, 118 states in BSSCs (118 absorbing)
51407 component updates, 1097506176 transient state updates
Bounds: [0.93291+6.70864e-02]@[0.00000](51214), [3.6676e-29+6.70877e-02]@[0.00000](0), [0.0000+6.70880e-02]@[0.00000](0), [0.0000+6.70867e-02]@[0.00000](0), [5.7951e-18+6.70863e-02]@[0.00000](87), [0.0000+6.70868e-02]@[0.00000](0), [0.0000+6.70860e-02]@[0.00000](0), [2.6817e-26+6.70872e-02]@[0.00000](0), [0.0000+6.70903e-02]@[0.00000](0), [0.0000+6.70866e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:58:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
122048 loops (135/sec), 1486807224 sampling steps, 64592 aborted
loop condition 0.067075, exit probability 0.067072 in initial state
105320 explored states, 118 states in BSSCs (118 absorbing)
51423 component updates, 1122228301 transient state updates
Bounds: [0.93293+6.70748e-02]@[0.00000](51218), [1.9705e-28+6.70765e-02]@[0.00000](0), [0.0000+6.70770e-02]@[0.00000](0), [0.0000+6.70755e-02]@[0.00000](0), [1.5553e-17+6.70747e-02]@[0.00000](95), [0.0000+6.70753e-02]@[0.00000](0), [0.0000+6.70743e-02]@[0.00000](0), [6.5632e-22+6.70758e-02]@[0.00000](0), [0.0000+6.70801e-02]@[0.00000](0), [0.0000+6.70750e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:58:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
122690 loops (126/sec), 1494772365 sampling steps, 65218 aborted
loop condition 0.067066, exit probability 0.067064 in initial state
105442 explored states, 118 states in BSSCs (118 absorbing)
51439 component updates, 1146992558 transient state updates
Bounds: [0.93293+6.70663e-02]@[0.00000](51224), [5.5574e-28+6.70695e-02]@[0.00000](0), [0.0000+6.70689e-02]@[0.00000](0), [0.0000+6.70674e-02]@[0.00000](0), [3.1394e-17+6.70664e-02]@[0.00000](101), [0.0000+6.70666e-02]@[0.00000](0), [0.0000+6.70660e-02]@[0.00000](0), [2.9861e-21+6.70679e-02]@[0.00000](0), [0.0000+6.70721e-02]@[0.00000](0), [0.0000+6.70668e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:58:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
123403 loops (142/sec), 1503610406 sampling steps, 65913 aborted
loop condition 0.067056, exit probability 0.067054 in initial state
105562 explored states, 118 states in BSSCs (118 absorbing)
51457 component updates, 1175408119 transient state updates
Bounds: [0.93294+6.70563e-02]@[0.00000](51229), [1.8308e-27+6.70580e-02]@[0.00000](0), [0.0000+6.70593e-02]@[0.00000](0), [0.0000+6.70574e-02]@[0.00000](0), [6.5016e-17+6.70570e-02]@[0.00000](107), [0.0000+6.70566e-02]@[0.00000](0), [0.0000+6.70560e-02]@[0.00000](0), [1.2919e-20+6.70590e-02]@[0.00000](0), [0.0000+6.70617e-02]@[0.00000](0), [0.0000+6.70575e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:58:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
124076 loops (132/sec), 1511936515 sampling steps, 66564 aborted
loop condition 0.067051, exit probability 0.067049 in initial state
105680 explored states, 118 states in BSSCs (118 absorbing)
51478 component updates, 1207329231 transient state updates
Bounds: [0.93295+6.70508e-02]@[0.00000](51237), [5.8488e-27+6.70527e-02]@[0.00000](0), [0.0000+6.70540e-02]@[0.00000](0), [0.0000+6.70521e-02]@[0.00000](0), [1.3234e-16+6.70515e-02]@[0.00000](113), [0.0000+6.70512e-02]@[0.00000](0), [0.0000+6.70505e-02]@[0.00000](0), [6.2578e-20+6.70537e-02]@[0.00000](0), [0.0000+6.70565e-02]@[0.00000](0), [0.0000+6.70517e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:58:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
124750 loops (132/sec), 1520283933 sampling steps, 67219 aborted
loop condition 0.067041, exit probability 0.067038 in initial state
105792 explored states, 118 states in BSSCs (118 absorbing)
51497 component updates, 1234992779 transient state updates
Bounds: [0.93296+6.70406e-02]@[0.00000](51245), [1.6412e-26+6.70426e-02]@[0.00000](0), [0.0000+6.70435e-02]@[0.00000](0), [0.0000+6.70421e-02]@[0.00000](0), [2.7291e-16+6.70415e-02]@[0.00000](122), [0.0000+6.70425e-02]@[0.00000](0), [0.0000+6.70404e-02]@[0.00000](0), [1.9578e-19+6.70436e-02]@[0.00000](0), [0.0000+6.70468e-02]@[0.00000](0), [0.0000+6.70416e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:58:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
125536 loops (157/sec), 1529998772 sampling steps, 67993 aborted
loop condition 0.067035, exit probability 0.067033 in initial state
105923 explored states, 118 states in BSSCs (118 absorbing)
51509 component updates, 1255321123 transient state updates
Bounds: [0.93297+6.70347e-02]@[0.00000](51246), [3.1661e-26+6.70367e-02]@[0.00000](0), [0.0000+6.70378e-02]@[0.00000](0), [0.0000+6.70364e-02]@[0.00000](0), [4.3292e-16+6.70357e-02]@[0.00000](128), [0.0000+6.70365e-02]@[0.00000](0), [0.0000+6.70345e-02]@[0.00000](0), [3.9071e-19+6.70379e-02]@[0.00000](0), [0.0000+6.70413e-02]@[0.00000](0), [0.0000+6.70359e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:58:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
126377 loops (168/sec), 1540388474 sampling steps, 68818 aborted
loop condition 0.067026, exit probability 0.067024 in initial state
106078 explored states, 118 states in BSSCs (118 absorbing)
51525 component updates, 1280634193 transient state updates
Bounds: [0.93297+6.70261e-02]@[0.00000](51253), [7.4020e-26+6.70281e-02]@[0.00000](0), [0.0000+6.70298e-02]@[0.00000](0), [0.0000+6.70279e-02]@[0.00000](0), [7.8517e-16+6.70267e-02]@[0.00000](133), [0.0000+6.70278e-02]@[0.00000](0), [0.0000+6.70259e-02]@[0.00000](0), [9.1227e-19+6.70294e-02]@[0.00000](0), [0.0000+6.70331e-02]@[0.00000](0), [0.0000+6.70274e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:58:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
127167 loops (155/sec), 1550151237 sampling steps, 69589 aborted
loop condition 0.067019, exit probability 0.067017 in initial state
106210 explored states, 118 states in BSSCs (118 absorbing)
51544 component updates, 1308305766 transient state updates
Bounds: [0.93298+6.70193e-02]@[0.00000](51257), [1.6053e-25+6.70213e-02]@[0.00000](0), [0.0000+6.70234e-02]@[0.00000](0), [0.0000+6.70214e-02]@[0.00000](0), [1.2940e-15+6.70200e-02]@[0.00000](141), [0.0000+6.70210e-02]@[0.00000](0), [0.0000+6.70193e-02]@[0.00000](0), [1.8620e-18+6.70228e-02]@[0.00000](0), [0.0000+6.70267e-02]@[0.00000](0), [0.0000+6.70208e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:58:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
127849 loops (133/sec), 1558581465 sampling steps, 70254 aborted
loop condition 0.067005, exit probability 0.067003 in initial state
106343 explored states, 118 states in BSSCs (118 absorbing)
51561 component updates, 1334471595 transient state updates
Bounds: [0.93299+6.70052e-02]@[0.00000](51261), [4.6511e-25+6.70074e-02]@[0.00000](0), [0.0000+6.70099e-02]@[0.00000](0), [0.0000+6.70074e-02]@[0.00000](0), [2.6489e-15+6.70060e-02]@[0.00000](147), [0.0000+6.70069e-02]@[0.00000](0), [0.0000+6.70052e-02]@[0.00000](0), [4.4552e-18+6.70100e-02]@[0.00000](0), [0.0000+6.70135e-02]@[0.00000](0), [0.0000+6.70070e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:58:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
128599 loops (149/sec), 1567856605 sampling steps, 70985 aborted
loop condition 0.066997, exit probability 0.066994 in initial state
106454 explored states, 118 states in BSSCs (118 absorbing)
51580 component updates, 1363458062 transient state updates
Bounds: [0.93300+6.69966e-02]@[0.00000](51271), [9.4608e-25+6.69985e-02]@[0.00000](0), [0.0000+6.70014e-02]@[0.00000](0), [0.0000+6.69987e-02]@[0.00000](0), [4.3508e-15+6.69971e-02]@[0.00000](154), [0.0000+6.69979e-02]@[0.00000](0), [0.0000+6.69963e-02]@[0.00000](0), [8.3607e-18+6.70007e-02]@[0.00000](0), [0.0000+6.70048e-02]@[0.00000](0), [0.0000+6.69983e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:59:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
129401 loops (159/sec), 1577743856 sampling steps, 71767 aborted
loop condition 0.066983, exit probability 0.066981 in initial state
106622 explored states, 118 states in BSSCs (118 absorbing)
51600 component updates, 1395076024 transient state updates
Bounds: [0.93302+6.69832e-02]@[0.00000](51278), [2.7456e-24+6.69849e-02]@[0.00000](0), [0.0000+6.69884e-02]@[0.00000](0), [0.0000+6.69852e-02]@[0.00000](0), [9.1817e-15+6.69835e-02]@[0.00000](157), [0.0000+6.69870e-02]@[0.00000](0), [0.0000+6.69827e-02]@[0.00000](0), [2.0794e-17+6.69873e-02]@[0.00000](0), [0.0000+6.69917e-02]@[0.00000](0), [0.0000+6.69849e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:59:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
130062 loops (132/sec), 1585892386 sampling steps, 72410 aborted
loop condition 0.066973, exit probability 0.066970 in initial state
106748 explored states, 118 states in BSSCs (118 absorbing)
51618 component updates, 1421276069 transient state updates
Bounds: [0.93303+6.69728e-02]@[0.00000](51283), [5.9689e-24+6.69745e-02]@[0.00000](0), [0.0000+6.69783e-02]@[0.00000](0), [0.0000+6.69750e-02]@[0.00000](0), [1.5677e-14+6.69730e-02]@[0.00000](163), [0.0000+6.69775e-02]@[0.00000](0), [0.0000+6.69723e-02]@[0.00000](0), [3.9204e-17+6.69771e-02]@[0.00000](0), [0.0000+6.69815e-02]@[0.00000](0), [0.0000+6.69746e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:59:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
130657 loops (118/sec), 1593234570 sampling steps, 72990 aborted
loop condition 0.066967, exit probability 0.066964 in initial state
106851 explored states, 118 states in BSSCs (118 absorbing)
51633 component updates, 1444611323 transient state updates
Bounds: [0.93303+6.69667e-02]@[0.00000](51287), [1.0623e-23+6.69682e-02]@[0.00000](0), [0.0000+6.69723e-02]@[0.00000](0), [0.0000+6.69689e-02]@[0.00000](0), [2.3689e-14+6.69668e-02]@[0.00000](169), [0.0000+6.69710e-02]@[0.00000](0), [0.0000+6.69665e-02]@[0.00000](0), [6.2768e-17+6.69710e-02]@[0.00000](0), [0.0000+6.69769e-02]@[0.00000](0), [0.0000+6.69685e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:59:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
131375 loops (143/sec), 1602096856 sampling steps, 73683 aborted
loop condition 0.066954, exit probability 0.066951 in initial state
106939 explored states, 118 states in BSSCs (118 absorbing)
51658 component updates, 1483811263 transient state updates
Bounds: [0.93305+6.69542e-02]@[0.00000](51294), [2.9324e-23+6.69553e-02]@[0.00000](0), [0.0000+6.69606e-02]@[0.00000](0), [0.0000+6.69563e-02]@[0.00000](0), [5.1136e-14+6.69540e-02]@[0.00000](177), [0.0000+6.69583e-02]@[0.00000](0), [0.0000+6.69546e-02]@[0.00000](0), [1.4530e-16+6.69585e-02]@[0.00000](0), [0.0000+6.69633e-02]@[0.00000](0), [0.0000+6.69559e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:59:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
132207 loops (166/sec), 1612289938 sampling steps, 74500 aborted
loop condition 0.066945, exit probability 0.066942 in initial state
107185 explored states, 118 states in BSSCs (118 absorbing)
51673 component updates, 1505668627 transient state updates
Bounds: [0.93305+6.69453e-02]@[0.00000](51297), [5.2123e-23+6.69464e-02]@[0.00000](0), [0.0000+6.69521e-02]@[0.00000](0), [0.0000+6.69476e-02]@[0.00000](0), [7.9107e-14+6.69451e-02]@[0.00000](183), [0.0000+6.69501e-02]@[0.00000](0), [0.0000+6.69459e-02]@[0.00000](0), [2.2336e-16+6.69504e-02]@[0.00000](0), [0.0000+6.69547e-02]@[0.00000](0), [0.0000+6.69472e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:59:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
132997 loops (155/sec), 1622038120 sampling steps, 75265 aborted
loop condition 0.066937, exit probability 0.066933 in initial state
107314 explored states, 118 states in BSSCs (118 absorbing)
51698 component updates, 1541991352 transient state updates
Bounds: [0.93306+6.69365e-02]@[0.00000](51305), [1.0607e-22+6.69376e-02]@[0.00000](0), [0.0000+6.69436e-02]@[0.00000](0), [0.0000+6.69396e-02]@[0.00000](0), [1.3406e-13+6.69362e-02]@[0.00000](193), [0.0000+6.69416e-02]@[0.00000](0), [0.0000+6.69377e-02]@[0.00000](0), [3.8705e-16+6.69413e-02]@[0.00000](0), [0.0000+6.69461e-02]@[0.00000](0), [0.0000+6.69387e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:59:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
133693 loops (139/sec), 1630610694 sampling steps, 75945 aborted
loop condition 0.066927, exit probability 0.066924 in initial state
107444 explored states, 118 states in BSSCs (118 absorbing)
51714 component updates, 1567574935 transient state updates
Bounds: [0.93307+6.69266e-02]@[0.00000](51312), [1.8197e-22+6.69277e-02]@[0.00000](0), [0.0000+6.69341e-02]@[0.00000](0), [0.0000+6.69301e-02]@[0.00000](0), [2.0524e-13+6.69263e-02]@[0.00000](199), [0.0000+6.69305e-02]@[0.00000](0), [0.0000+6.69279e-02]@[0.00000](0), [5.9418e-16+6.69316e-02]@[0.00000](0), [0.0000+6.69365e-02]@[0.00000](0), [0.0000+6.69291e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:59:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
134339 loops (125/sec), 1638562398 sampling steps, 76577 aborted
loop condition 0.066920, exit probability 0.066917 in initial state
107558 explored states, 118 states in BSSCs (118 absorbing)
51728 component updates, 1592244600 transient state updates
Bounds: [0.93308+6.69201e-02]@[0.00000](51315), [2.9915e-22+6.69211e-02]@[0.00000](0), [0.0000+6.69279e-02]@[0.00000](0), [0.0000+6.69234e-02]@[0.00000](0), [2.9905e-13+6.69197e-02]@[0.00000](202), [0.0000+6.69242e-02]@[0.00000](0), [0.0000+6.69210e-02]@[0.00000](0), [8.5883e-16+6.69251e-02]@[0.00000](0), [0.0000+6.69303e-02]@[0.00000](0), [0.0000+6.69229e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:59:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
135227 loops (177/sec), 1649485869 sampling steps, 77449 aborted
loop condition 0.066910, exit probability 0.066906 in initial state
107701 explored states, 118 states in BSSCs (118 absorbing)
51744 component updates, 1616506647 transient state updates
Bounds: [0.93309+6.69096e-02]@[0.00000](51319), [5.2154e-22+6.69107e-02]@[0.00000](0), [0.0000+6.69178e-02]@[0.00000](0), [0.0000+6.69131e-02]@[0.00000](0), [4.7259e-13+6.69092e-02]@[0.00000](206), [0.0000+6.69138e-02]@[0.00000](0), [0.0000+6.69111e-02]@[0.00000](0), [1.3349e-15+6.69147e-02]@[0.00000](0), [0.0000+6.69207e-02]@[0.00000](0), [0.0000+6.69127e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:59:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
135890 loops (132/sec), 1657644545 sampling steps, 78097 aborted
loop condition 0.066897, exit probability 0.066894 in initial state
107800 explored states, 118 states in BSSCs (118 absorbing)
51759 component updates, 1638206502 transient state updates
Bounds: [0.93310+6.68973e-02]@[0.00000](51325), [8.2284e-22+6.69015e-02]@[0.00000](0), [0.0000+6.69058e-02]@[0.00000](0), [0.0000+6.69009e-02]@[0.00000](0), [7.1391e-13+6.68968e-02]@[0.00000](211), [0.0000+6.69018e-02]@[0.00000](0), [0.0000+6.68998e-02]@[0.00000](0), [1.9721e-15+6.69024e-02]@[0.00000](0), [0.0000+6.69087e-02]@[0.00000](0), [0.0000+6.69007e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:59:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
136481 loops (118/sec), 1664907739 sampling steps, 78670 aborted
loop condition 0.066883, exit probability 0.066879 in initial state
107912 explored states, 118 states in BSSCs (118 absorbing)
51777 component updates, 1665760464 transient state updates
Bounds: [0.93312+6.68825e-02]@[0.00000](51333), [1.2991e-21+6.68879e-02]@[0.00000](0), [0.0000+6.68916e-02]@[0.00000](0), [0.0000+6.68863e-02]@[0.00000](0), [1.1208e-12+6.68819e-02]@[0.00000](215), [0.0000+6.68903e-02]@[0.00000](0), [0.0000+6.68854e-02]@[0.00000](0), [2.9942e-15+6.68878e-02]@[0.00000](0), [0.0000+6.68938e-02]@[0.00000](0), [0.0000+6.68865e-02]@[0.00000](0) ... (118)
Sep 13, 2024 10:59:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
137328 loops (169/sec), 1675309801 sampling steps, 79493 aborted
loop condition 0.066867, exit probability 0.066864 in initial state
108067 explored states, 118 states in BSSCs (118 absorbing)
51801 component updates, 1700572929 transient state updates
Bounds: [0.93313+6.68671e-02]@[0.00000](51343), [2.5744e-21+6.68711e-02]@[0.00000](0), [0.0000+6.68770e-02]@[0.00000](0), [0.0000+6.68719e-02]@[0.00000](0), [1.8465e-12+6.68664e-02]@[0.00000](219), [0.0000+6.68755e-02]@[0.00000](0), [0.0000+6.68685e-02]@[0.00000](0), [4.7095e-15+6.68726e-02]@[0.00000](0), [0.0000+6.68789e-02]@[0.00000](0), [0.0000+6.68715e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:00:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
138127 loops (158/sec), 1685082622 sampling steps, 80260 aborted
loop condition 0.066837, exit probability 0.066833 in initial state
108224 explored states, 118 states in BSSCs (118 absorbing)
51833 component updates, 1748375364 transient state updates
Bounds: [0.93316+6.68368e-02]@[0.00000](51354), [6.1062e-21+6.68406e-02]@[0.00000](0), [0.0000+6.68476e-02]@[0.00000](0), [0.0000+6.68420e-02]@[0.00000](0), [3.6723e-12+6.68359e-02]@[0.00000](230), [0.0000+6.68458e-02]@[0.00000](0), [0.0000+6.68384e-02]@[0.00000](0), [8.5478e-15+6.68424e-02]@[0.00000](0), [0.0000+6.68490e-02]@[0.00000](0), [0.0000+6.68476e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:00:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
139198 loops (214/sec), 1698223912 sampling steps, 81306 aborted
loop condition 0.066823, exit probability 0.066819 in initial state
108378 explored states, 118 states in BSSCs (118 absorbing)
51858 component updates, 1784915238 transient state updates
Bounds: [0.93318+6.68233e-02]@[0.00000](51359), [1.0805e-20+6.68273e-02]@[0.00000](0), [0.0000+6.68339e-02]@[0.00000](0), [0.0000+6.68286e-02]@[0.00000](0), [5.9663e-12+6.68216e-02]@[0.00000](239), [0.0000+6.68321e-02]@[0.00000](0), [0.0000+6.68242e-02]@[0.00000](0), [1.3009e-14+6.68283e-02]@[0.00000](0), [0.0000+6.68351e-02]@[0.00000](0), [0.0000+6.68335e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:00:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
140255 loops (211/sec), 1711166374 sampling steps, 82336 aborted
loop condition 0.066801, exit probability 0.066796 in initial state
108540 explored states, 118 states in BSSCs (118 absorbing)
51885 component updates, 1825520392 transient state updates
Bounds: [0.93320+6.68007e-02]@[0.00000](51370), [2.1368e-20+6.68072e-02]@[0.00000](0), [0.0000+6.68121e-02]@[0.00000](0), [0.0000+6.68067e-02]@[0.00000](0), [1.0882e-11+6.67987e-02]@[0.00000](250), [0.0000+6.68077e-02]@[0.00000](0), [0.0000+6.68018e-02]@[0.00000](0), [2.0916e-14+6.68095e-02]@[0.00000](0), [0.0000+6.68128e-02]@[0.00000](0), [0.0000+6.68126e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:00:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
141364 loops (221/sec), 1724738852 sampling steps, 83418 aborted
loop condition 0.066781, exit probability 0.066776 in initial state
108705 explored states, 118 states in BSSCs (118 absorbing)
51912 component updates, 1864690807 transient state updates
Bounds: [0.93322+6.67811e-02]@[0.00000](51380), [3.5995e-20+6.67884e-02]@[0.00000](0), [0.0000+6.67931e-02]@[0.00000](0), [0.0000+6.67871e-02]@[0.00000](0), [1.6908e-11+6.67788e-02]@[0.00000](259), [0.0000+6.67882e-02]@[0.00000](0), [0.0000+6.67824e-02]@[0.00000](0), [3.0569e-14+6.67906e-02]@[0.00000](0), [0.0000+6.67936e-02]@[0.00000](0), [0.0000+6.67922e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:00:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
142422 loops (211/sec), 1737664004 sampling steps, 84449 aborted
loop condition 0.066767, exit probability 0.066763 in initial state
108848 explored states, 118 states in BSSCs (118 absorbing)
51939 component updates, 1903996431 transient state updates
Bounds: [0.93323+6.67673e-02]@[0.00000](51392), [5.9160e-20+6.67735e-02]@[0.00000](0), [0.0000+6.67799e-02]@[0.00000](0), [0.0000+6.67738e-02]@[0.00000](0), [2.4805e-11+6.67651e-02]@[0.00000](265), [0.0000+6.67747e-02]@[0.00000](0), [0.0000+6.67692e-02]@[0.00000](0), [4.2042e-14+6.67759e-02]@[0.00000](0), [0.0000+6.67805e-02]@[0.00000](0), [0.0000+6.67784e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:00:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
143429 loops (201/sec), 1749948698 sampling steps, 85431 aborted
loop condition 0.066744, exit probability 0.066739 in initial state
108981 explored states, 118 states in BSSCs (118 absorbing)
51964 component updates, 1944317349 transient state updates
Bounds: [0.93326+6.67437e-02]@[0.00000](51396), [1.1523e-19+6.67513e-02]@[0.00000](0), [0.0000+6.67585e-02]@[0.00000](0), [0.0000+6.67504e-02]@[0.00000](0), [4.3837e-11+6.67413e-02]@[0.00000](274), [0.0000+6.67513e-02]@[0.00000](0), [0.0000+6.67458e-02]@[0.00000](0), [6.8064e-14+6.67526e-02]@[0.00000](0), [0.0000+6.67576e-02]@[0.00000](0), [0.0000+6.67552e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:00:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
144563 loops (226/sec), 1763785804 sampling steps, 86543 aborted
loop condition 0.066725, exit probability 0.066721 in initial state
109151 explored states, 118 states in BSSCs (118 absorbing)
51986 component updates, 1979044491 transient state updates
Bounds: [0.93327+6.67253e-02]@[0.00000](51403), [1.8674e-19+6.67332e-02]@[0.00000](0), [0.0000+6.67402e-02]@[0.00000](0), [0.0000+6.67320e-02]@[0.00000](0), [6.4261e-11+6.67227e-02]@[0.00000](283), [0.0000+6.67330e-02]@[0.00000](0), [0.0000+6.67276e-02]@[0.00000](0), [9.2705e-14+6.67344e-02]@[0.00000](0), [0.0000+6.67396e-02]@[0.00000](0), [0.0000+6.67386e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:00:36 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
145416 loops (168/sec), 1774209572 sampling steps, 87364 aborted
loop condition 0.066702, exit probability 0.066697 in initial state
109276 explored states, 118 states in BSSCs (118 absorbing)
52017 component updates, 2023922078 transient state updates
Bounds: [0.93330+6.67023e-02]@[0.00000](51415), [3.5616e-19+6.67110e-02]@[0.00000](0), [0.0000+6.67181e-02]@[0.00000](0), [0.0000+6.67091e-02]@[0.00000](0), [1.0852e-10+6.66995e-02]@[0.00000](294), [0.0000+6.67102e-02]@[0.00000](0), [0.0000+6.67049e-02]@[0.00000](0), [1.4053e-13+6.67106e-02]@[0.00000](0), [0.0000+6.67184e-02]@[0.00000](0), [0.0000+6.67143e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:00:41 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
146492 loops (215/sec), 1787309496 sampling steps, 88418 aborted
loop condition 0.066679, exit probability 0.066672 in initial state
109444 explored states, 118 states in BSSCs (118 absorbing)
52039 component updates, 2060570342 transient state updates
Bounds: [0.93332+6.66793e-02]@[0.00000](51420), [5.9489e-19+6.66901e-02]@[0.00000](0), [0.0000+6.66939e-02]@[0.00000](0), [0.0000+6.66846e-02]@[0.00000](0), [1.7381e-10+6.66742e-02]@[0.00000](302), [1.5620e-10+6.66868e-02]@[0.00000](0), [0.0000+6.66802e-02]@[0.00000](0), [2.0428e-13+6.66857e-02]@[0.00000](0), [0.0000+6.66942e-02]@[0.00000](0), [0.0000+6.66893e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:00:46 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
147520 loops (203/sec), 1799842897 sampling steps, 89422 aborted
loop condition 0.066665, exit probability 0.066658 in initial state
109602 explored states, 118 states in BSSCs (118 absorbing)
52063 component updates, 2098393677 transient state updates
Bounds: [0.93334+6.66648e-02]@[0.00000](51427), [8.7410e-19+6.66773e-02]@[0.00000](0), [0.0000+6.66801e-02]@[0.00000](0), [0.0000+6.66704e-02]@[0.00000](0), [2.4121e-10+6.66599e-02]@[0.00000](311), [1.9686e-10+6.66715e-02]@[0.00000](0), [0.0000+6.66661e-02]@[0.00000](0), [2.6196e-13+6.66714e-02]@[0.00000](0), [0.0000+6.66805e-02]@[0.00000](0), [0.0000+6.66751e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:00:51 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
148515 loops (197/sec), 1811971739 sampling steps, 90391 aborted
loop condition 0.066650, exit probability 0.066643 in initial state
109712 explored states, 118 states in BSSCs (118 absorbing)
52089 component updates, 2137639483 transient state updates
Bounds: [0.93335+6.66500e-02]@[0.00000](51435), [1.3531e-18+6.66624e-02]@[0.00000](0), [0.0000+6.66660e-02]@[0.00000](0), [0.0000+6.66560e-02]@[0.00000](0), [3.4304e-10+6.66452e-02]@[0.00000](322), [2.2281e-10+6.66595e-02]@[0.00000](0), [0.0000+6.66518e-02]@[0.00000](0), [3.4079e-13+6.66570e-02]@[0.00000](0), [0.0000+6.66666e-02]@[0.00000](0), [0.0000+6.66624e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:00:56 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
149524 loops (200/sec), 1824244031 sampling steps, 91371 aborted
loop condition 0.066622, exit probability 0.066615 in initial state
109824 explored states, 118 states in BSSCs (118 absorbing)
52118 component updates, 2182045988 transient state updates
Bounds: [0.93338+6.66225e-02]@[0.00000](51442), [2.4793e-18+6.66366e-02]@[0.00000](0), [0.0000+6.66392e-02]@[0.00000](0), [0.0000+6.66288e-02]@[0.00000](0), [5.6452e-10+6.66176e-02]@[0.00000](331), [2.7147e-10+6.66331e-02]@[0.00000](0), [0.0000+6.66253e-02]@[0.00000](0), [4.9946e-13+6.66296e-02]@[0.00000](0), [0.0000+6.66398e-02]@[0.00000](0), [0.0000+6.66355e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:01:01 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
150353 loops (165/sec), 1834307993 sampling steps, 92171 aborted
loop condition 0.066603, exit probability 0.066595 in initial state
109934 explored states, 118 states in BSSCs (118 absorbing)
52147 component updates, 2225481988 transient state updates
Bounds: [0.93340+6.66027e-02]@[0.00000](51455), [4.2057e-18+6.66180e-02]@[0.00000](0), [0.0000+6.66214e-02]@[0.00000](0), [0.0000+6.66091e-02]@[0.00000](0), [8.6210e-10+6.65978e-02]@[0.00000](340), [2.8911e-10+6.66134e-02]@[0.00000](0), [0.0000+6.66060e-02]@[0.00000](0), [6.6387e-13+6.66110e-02]@[0.00000](0), [0.0000+6.66202e-02]@[0.00000](0), [0.0000+6.66143e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:01:06 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
151211 loops (171/sec), 1844697178 sampling steps, 93000 aborted
loop condition 0.066575, exit probability 0.066568 in initial state
110051 explored states, 118 states in BSSCs (118 absorbing)
52176 component updates, 2270173553 transient state updates
Bounds: [0.93342+6.65751e-02]@[0.00000](51467), [7.5694e-18+6.65916e-02]@[0.00000](0), [0.0000+6.65955e-02]@[0.00000](0), [0.0000+6.65822e-02]@[0.00000](0), [1.3777e-09+6.65707e-02]@[0.00000](348), [3.0551e-10+6.65861e-02]@[0.00000](0), [0.0000+6.65792e-02]@[0.00000](0), [9.3220e-13+6.65837e-02]@[0.00000](0), [0.0000+6.65934e-02]@[0.00000](0), [0.0000+6.65874e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:01:11 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
152248 loops (207/sec), 1857291964 sampling steps, 94009 aborted
loop condition 0.066548, exit probability 0.066541 in initial state
110188 explored states, 118 states in BSSCs (118 absorbing)
52204 component updates, 2310790269 transient state updates
Bounds: [0.93345+6.65485e-02]@[0.00000](51476), [1.1797e-17+6.65695e-02]@[0.00000](0), [0.0000+6.65704e-02]@[0.00000](0), [0.0000+6.65557e-02]@[0.00000](0), [2.0969e-09+6.65440e-02]@[0.00000](358), [3.2379e-10+6.65598e-02]@[0.00000](0), [0.0000+6.65530e-02]@[0.00000](0), [1.2664e-12+6.65572e-02]@[0.00000](0), [0.0000+6.65695e-02]@[0.00000](0), [0.0000+6.65610e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:01:16 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
153415 loops (231/sec), 1871457862 sampling steps, 95153 aborted
loop condition 0.066531, exit probability 0.066524 in initial state
110357 explored states, 118 states in BSSCs (118 absorbing)
52227 component updates, 2344371147 transient state updates
Bounds: [0.93347+6.65307e-02]@[0.00000](51486), [1.7169e-17+6.65518e-02]@[0.00000](0), [0.0000+6.65551e-02]@[0.00000](0), [0.0000+6.65380e-02]@[0.00000](0), [2.8131e-09+6.65261e-02]@[0.00000](363), [3.3064e-10+6.65431e-02]@[0.00000](0), [0.0000+6.65354e-02]@[0.00000](0), [1.5482e-12+6.65394e-02]@[0.00000](0), [0.0000+6.65522e-02]@[0.00000](0), [0.0000+6.65434e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:01:21 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
154613 loops (239/sec), 1885974007 sampling steps, 96328 aborted
loop condition 0.066519, exit probability 0.066511 in initial state
110515 explored states, 118 states in BSSCs (118 absorbing)
52250 component updates, 2377860667 transient state updates
Bounds: [0.93348+6.65186e-02]@[0.00000](51492), [2.3216e-17+6.65385e-02]@[0.00000](0), [0.0000+6.65440e-02]@[0.00000](0), [0.0000+6.65274e-02]@[0.00000](0), [3.5535e-09+6.65140e-02]@[0.00000](373), [3.3357e-10+6.65313e-02]@[0.00000](0), [0.0000+6.65238e-02]@[0.00000](0), [1.8102e-12+6.65275e-02]@[0.00000](0), [0.0000+6.65392e-02]@[0.00000](0), [0.0000+6.65315e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:01:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
155617 loops (200/sec), 1898142088 sampling steps, 97308 aborted
loop condition 0.066498, exit probability 0.066491 in initial state
110644 explored states, 118 states in BSSCs (118 absorbing)
52274 component updates, 2415352990 transient state updates
Bounds: [0.93350+6.64982e-02]@[0.00000](51500), [3.6480e-17+6.65178e-02]@[0.00000](0), [0.0000+6.65224e-02]@[0.00000](0), [0.0000+6.65058e-02]@[0.00000](0), [5.0521e-09+6.64935e-02]@[0.00000](379), [3.3836e-10+6.65122e-02]@[0.00000](0), [0.0000+6.65035e-02]@[0.00000](0), [2.2422e-12+6.65084e-02]@[0.00000](0), [0.0000+6.65188e-02]@[0.00000](0), [0.0000+6.65112e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:01:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
156684 loops (209/sec), 1911058932 sampling steps, 98350 aborted
loop condition 0.066474, exit probability 0.066466 in initial state
110755 explored states, 118 states in BSSCs (118 absorbing)
52299 component updates, 2451647711 transient state updates
Bounds: [0.93353+6.64739e-02]@[0.00000](51513), [5.3575e-17+6.64955e-02]@[0.00000](0), [0.0000+6.64986e-02]@[0.00000](0), [0.0000+6.64814e-02]@[0.00000](0), [7.1070e-09+6.64683e-02]@[0.00000](384), [3.4826e-10+6.64869e-02]@[0.00000](0), [0.0000+6.64788e-02]@[0.00000](0), [2.8313e-12+6.64838e-02]@[0.00000](0), [0.0000+6.64948e-02]@[0.00000](0), [0.0000+6.64909e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:01:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
157712 loops (205/sec), 1923486263 sampling steps, 99354 aborted
loop condition 0.066449, exit probability 0.066440 in initial state
110932 explored states, 118 states in BSSCs (118 absorbing)
52323 component updates, 2488877833 transient state updates
Bounds: [0.93355+6.64491e-02]@[0.00000](51522), [7.6666e-17+6.64690e-02]@[0.00000](0), [0.0000+6.64738e-02]@[0.00000](0), [0.0000+6.64558e-02]@[0.00000](0), [9.3803e-09+6.64428e-02]@[0.00000](391), [3.5055e-10+6.64618e-02]@[0.00000](0), [0.0000+6.64535e-02]@[0.00000](0), [3.3298e-12+6.64592e-02]@[0.00000](0), [0.0000+6.64710e-02]@[0.00000](0), [0.0000+6.64649e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:01:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
158674 loops (189/sec), 1935108024 sampling steps, 100287 aborted
loop condition 0.066424, exit probability 0.066415 in initial state
111048 explored states, 118 states in BSSCs (118 absorbing)
52352 component updates, 2531109195 transient state updates
Bounds: [0.93358+6.64244e-02]@[0.00000](51534), [1.1601e-16+6.64441e-02]@[0.00000](0), [0.0000+6.64494e-02]@[0.00000](0), [0.0000+6.64312e-02]@[0.00000](0), [1.3183e-08+6.64179e-02]@[0.00000](398), [3.5445e-10+6.64382e-02]@[0.00000](0), [0.0000+6.64288e-02]@[0.00000](0), [4.1574e-12+6.64347e-02]@[0.00000](0), [0.0000+6.64476e-02]@[0.00000](0), [0.0000+6.64382e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:01:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
159859 loops (236/sec), 1949423444 sampling steps, 101449 aborted
loop condition 0.066407, exit probability 0.066397 in initial state
111257 explored states, 118 states in BSSCs (118 absorbing)
52373 component updates, 2561710947 transient state updates
Bounds: [0.93359+6.64069e-02]@[0.00000](51541), [1.5231e-16+6.64273e-02]@[0.00000](0), [0.0000+6.64323e-02]@[0.00000](0), [0.0000+6.64136e-02]@[0.00000](0), [1.6588e-08+6.64001e-02]@[0.00000](403), [3.5785e-10+6.64206e-02]@[0.00000](0), [0.0000+6.64112e-02]@[0.00000](0), [4.8348e-12+6.64172e-02]@[0.00000](0), [0.0000+6.64300e-02]@[0.00000](0), [0.0000+6.64207e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:01:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
161093 loops (246/sec), 1964308873 sampling steps, 102662 aborted
loop condition 0.066388, exit probability 0.066376 in initial state
111415 explored states, 118 states in BSSCs (118 absorbing)
52394 component updates, 2594871713 transient state updates
Bounds: [0.93361+6.63882e-02]@[0.00000](51546), [2.1326e-16+6.64042e-02]@[0.00000](0), [0.0000+6.64132e-02]@[0.00000](0), [0.0000+6.63922e-02]@[0.00000](0), [2.1828e-08+6.63784e-02]@[0.00000](413), [3.5932e-10+6.63993e-02]@[0.00000](0), [0.0000+6.63897e-02]@[0.00000](0), [5.7627e-12+6.63951e-02]@[0.00000](0), [0.0000+6.64094e-02]@[0.00000](0), [0.0000+6.63984e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:01:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
162235 loops (225/sec), 1978038463 sampling steps, 103781 aborted
loop condition 0.066366, exit probability 0.066353 in initial state
111556 explored states, 118 states in BSSCs (118 absorbing)
52417 component updates, 2631472985 transient state updates
Bounds: [0.93363+6.63658e-02]@[0.00000](51554), [3.0939e-16+6.63814e-02]@[0.00000](0), [0.0000+6.63894e-02]@[0.00000](0), [0.0000+6.63694e-02]@[0.00000](0), [3.0176e-08+6.63552e-02]@[0.00000](419), [3.6007e-10+6.63763e-02]@[0.00000](0), [0.0000+6.63667e-02]@[0.00000](0), [7.0076e-12+6.63731e-02]@[0.00000](0), [0.0000+6.63865e-02]@[0.00000](0), [0.0000+6.63781e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:02:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
163370 loops (222/sec), 1991702714 sampling steps, 104893 aborted
loop condition 0.066337, exit probability 0.066325 in initial state
111725 explored states, 118 states in BSSCs (118 absorbing)
52440 component updates, 2666293522 transient state updates
Bounds: [0.93366+6.63372e-02]@[0.00000](51561), [4.4573e-16+6.63542e-02]@[0.00000](0), [0.0000+6.63629e-02]@[0.00000](0), [0.0000+6.63420e-02]@[0.00000](0), [4.1569e-08+6.63274e-02]@[0.00000](428), [3.6120e-10+6.63490e-02]@[0.00000](0), [0.0000+6.63391e-02]@[0.00000](0), [8.6251e-12+6.63462e-02]@[0.00000](0), [0.0000+6.63577e-02]@[0.00000](0), [0.0000+6.63496e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:02:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
164313 loops (188/sec), 2003050679 sampling steps, 105808 aborted
loop condition 0.066315, exit probability 0.066302 in initial state
111824 explored states, 118 states in BSSCs (118 absorbing)
52468 component updates, 2708357740 transient state updates
Bounds: [0.93368+6.63150e-02]@[0.00000](51568), [6.0650e-16+6.63332e-02]@[0.00000](0), [0.0000+6.63414e-02]@[0.00000](0), [0.0000+6.63205e-02]@[0.00000](0), [5.4265e-08+6.63049e-02]@[0.00000](437), [3.6203e-10+6.63274e-02]@[0.00000](0), [0.0000+6.63173e-02]@[0.00000](0), [1.0154e-11+6.63241e-02]@[0.00000](0), [0.0000+6.63355e-02]@[0.00000](0), [0.0000+6.63270e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:02:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
165320 loops (200/sec), 2015211611 sampling steps, 106788 aborted
loop condition 0.066286, exit probability 0.066274 in initial state
111934 explored states, 118 states in BSSCs (118 absorbing)
52495 component updates, 2747520512 transient state updates
Bounds: [0.93371+6.62858e-02]@[0.00000](51580), [8.7882e-16+6.63056e-02]@[0.00000](0), [0.0000+6.63146e-02]@[0.00000](0), [0.0000+6.62928e-02]@[0.00000](0), [7.4251e-08+6.62762e-02]@[0.00000](445), [3.6509e-10+6.62988e-02]@[0.00000](0), [0.0000+6.62912e-02]@[0.00000](0), [1.2290e-11+6.62960e-02]@[0.00000](0), [0.0000+6.63074e-02]@[0.00000](0), [0.0000+6.62986e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:02:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
166288 loops (193/sec), 2026854410 sampling steps, 107729 aborted
loop condition 0.066257, exit probability 0.066245 in initial state
112060 explored states, 118 states in BSSCs (118 absorbing)
52522 component updates, 2787938373 transient state updates
Bounds: [0.93374+6.62572e-02]@[0.00000](51587), [1.2479e-15+6.62776e-02]@[0.00000](0), [0.0000+6.62862e-02]@[0.00000](0), [0.0000+6.62645e-02]@[0.00000](0), [9.9046e-08+6.62481e-02]@[0.00000](456), [3.6569e-10+6.62699e-02]@[0.00000](0), [0.0000+6.62628e-02]@[0.00000](0), [1.4641e-11+6.62686e-02]@[0.00000](0), [0.0000+6.62789e-02]@[0.00000](0), [0.0000+6.62702e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:02:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
167373 loops (215/sec), 2039894691 sampling steps, 108789 aborted
loop condition 0.066236, exit probability 0.066224 in initial state
112191 explored states, 118 states in BSSCs (118 absorbing)
52547 component updates, 2825667115 transient state updates
Bounds: [0.93376+6.62361e-02]@[0.00000](51597), [1.6135e-15+6.62573e-02]@[0.00000](0), [0.0000+6.62652e-02]@[0.00000](0), [0.0000+6.62435e-02]@[0.00000](0), [1.2161e-07+6.62286e-02]@[0.00000](464), [3.6608e-10+6.62487e-02]@[0.00000](0), [0.0000+6.62423e-02]@[0.00000](0), [1.6722e-11+6.62473e-02]@[0.00000](0), [0.0000+6.62571e-02]@[0.00000](0), [0.0000+6.62489e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:02:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
168410 loops (207/sec), 2052388522 sampling steps, 109800 aborted
loop condition 0.066211, exit probability 0.066199 in initial state
112317 explored states, 118 states in BSSCs (118 absorbing)
52573 component updates, 2864731554 transient state updates
Bounds: [0.93379+6.62111e-02]@[0.00000](51609), [2.2507e-15+6.62326e-02]@[0.00000](0), [0.0000+6.62409e-02]@[0.00000](0), [0.0000+6.62187e-02]@[0.00000](0), [1.5665e-07+6.62066e-02]@[0.00000](471), [3.6627e-10+6.62237e-02]@[0.00000](0), [0.0000+6.62180e-02]@[0.00000](0), [1.9672e-11+6.62216e-02]@[0.00000](0), [0.0000+6.62323e-02]@[0.00000](0), [0.0000+6.62239e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:02:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
169627 loops (240/sec), 2067041211 sampling steps, 110996 aborted
loop condition 0.066194, exit probability 0.066180 in initial state
112434 explored states, 118 states in BSSCs (118 absorbing)
52594 component updates, 2896736330 transient state updates
Bounds: [0.93381+6.61936e-02]@[0.00000](51617), [2.7563e-15+6.62155e-02]@[0.00000](0), [0.0000+6.62235e-02]@[0.00000](0), [0.0000+6.62008e-02]@[0.00000](0), [1.8595e-07+6.61895e-02]@[0.00000](477), [3.6651e-10+6.62058e-02]@[0.00000](0), [0.0000+6.62004e-02]@[0.00000](0), [2.1811e-11+6.62039e-02]@[0.00000](0), [0.0000+6.62144e-02]@[0.00000](0), [0.0000+6.62059e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:02:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
170698 loops (210/sec), 2079884144 sampling steps, 112043 aborted
loop condition 0.066166, exit probability 0.066153 in initial state
112613 explored states, 118 states in BSSCs (118 absorbing)
52618 component updates, 2934181425 transient state updates
Bounds: [0.93383+6.61663e-02]@[0.00000](51626), [3.7055e-15+6.61887e-02]@[0.00000](0), [0.0000+6.61968e-02]@[0.00000](0), [0.0000+6.61734e-02]@[0.00000](0), [2.4120e-07+6.61603e-02]@[0.00000](485), [3.6688e-10+6.61814e-02]@[0.00000](0), [0.0000+6.61736e-02]@[0.00000](0), [2.5044e-11+6.61782e-02]@[0.00000](0), [0.0000+6.61876e-02]@[0.00000](0), [0.0000+6.61785e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:02:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
171680 loops (194/sec), 2091691581 sampling steps, 112996 aborted
loop condition 0.066139, exit probability 0.066126 in initial state
112685 explored states, 118 states in BSSCs (118 absorbing)
52647 component updates, 2977772140 transient state updates
Bounds: [0.93386+6.61394e-02]@[0.00000](51633), [5.0326e-15+6.61623e-02]@[0.00000](0), [0.0000+6.61705e-02]@[0.00000](0), [0.0000+6.61469e-02]@[0.00000](0), [3.1161e-07+6.61329e-02]@[0.00000](498), [3.6707e-10+6.61533e-02]@[0.00000](0), [0.0000+6.61474e-02]@[0.00000](0), [2.9034e-11+6.61510e-02]@[0.00000](0), [0.0000+6.61608e-02]@[0.00000](0), [0.0000+6.61515e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:02:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
172551 loops (172/sec), 2102147617 sampling steps, 113835 aborted
loop condition 0.066108, exit probability 0.066093 in initial state
112781 explored states, 118 states in BSSCs (118 absorbing)
52679 component updates, 3025418743 transient state updates
Bounds: [0.93389+6.61078e-02]@[0.00000](51650), [7.0581e-15+6.61330e-02]@[0.00000](0), [0.0000+6.61394e-02]@[0.00000](0), [0.0000+6.61154e-02]@[0.00000](0), [4.1969e-07+6.61008e-02]@[0.00000](505), [3.6755e-10+6.61226e-02]@[0.00000](0), [0.0000+6.61162e-02]@[0.00000](0), [3.3934e-11+6.61217e-02]@[0.00000](0), [0.0000+6.61310e-02]@[0.00000](0), [0.0000+6.61196e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:02:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
173692 loops (226/sec), 2115838810 sampling steps, 114954 aborted
loop condition 0.066087, exit probability 0.066072 in initial state
112923 explored states, 118 states in BSSCs (118 absorbing)
52701 component updates, 3058806995 transient state updates
Bounds: [0.93391+6.60869e-02]@[0.00000](51657), [8.7477e-15+6.61126e-02]@[0.00000](0), [0.0000+6.61207e-02]@[0.00000](0), [0.0000+6.60946e-02]@[0.00000](0), [5.0093e-07+6.60796e-02]@[0.00000](511), [3.6777e-10+6.61012e-02]@[0.00000](0), [0.0000+6.60956e-02]@[0.00000](0), [3.7463e-11+6.61001e-02]@[0.00000](0), [0.0000+6.61103e-02]@[0.00000](0), [0.0000+6.60985e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:02:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
174636 loops (188/sec), 2127155186 sampling steps, 115871 aborted
loop condition 0.066053, exit probability 0.066038 in initial state
113031 explored states, 118 states in BSSCs (118 absorbing)
52728 component updates, 3100705351 transient state updates
Bounds: [0.93395+6.60531e-02]@[0.00000](51664), [1.2112e-14+6.60801e-02]@[0.00000](0), [0.0000+6.60878e-02]@[0.00000](0), [0.0000+6.60609e-02]@[0.00000](0), [6.6035e-07+6.60446e-02]@[0.00000](525), [3.6800e-10+6.60672e-02]@[0.00000](0), [0.0000+6.60623e-02]@[0.00000](0), [4.3851e-11+6.60669e-02]@[0.00000](0), [0.0000+6.60771e-02]@[0.00000](0), [0.0000+6.60645e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:03:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
175798 loops (232/sec), 2141055030 sampling steps, 117007 aborted
loop condition 0.066035, exit probability 0.066020 in initial state
113184 explored states, 118 states in BSSCs (118 absorbing)
52754 component updates, 3138514167 transient state updates
Bounds: [0.93396+6.60353e-02]@[0.00000](51670), [1.4594e-14+6.60654e-02]@[0.00000](0), [0.0000+6.60690e-02]@[0.00000](0), [0.0000+6.60430e-02]@[0.00000](0), [7.8825e-07+6.60264e-02]@[0.00000](534), [3.6802e-10+6.60495e-02]@[0.00000](0), [0.0000+6.60456e-02]@[0.00000](0), [4.8162e-11+6.60491e-02]@[0.00000](0), [0.0000+6.60593e-02]@[0.00000](0), [0.0000+6.60465e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:03:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
176928 loops (223/sec), 2154594934 sampling steps, 118110 aborted
loop condition 0.066002, exit probability 0.065986 in initial state
113289 explored states, 118 states in BSSCs (118 absorbing)
52781 component updates, 3178793191 transient state updates
Bounds: [0.93400+6.60020e-02]@[0.00000](51680), [2.0328e-14+6.60329e-02]@[0.00000](0), [0.0000+6.60421e-02]@[0.00000](0), [0.0000+6.60098e-02]@[0.00000](0), [1.0369e-06+6.59924e-02]@[0.00000](541), [3.6808e-10+6.60160e-02]@[0.00000](0), [0.0000+6.60117e-02]@[0.00000](0), [5.6514e-11+6.60140e-02]@[0.00000](0), [1.2463e-36+6.60264e-02]@[0.00000](0), [0.0000+6.60155e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:03:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
178048 loops (222/sec), 2168008459 sampling steps, 119204 aborted
loop condition 0.065970, exit probability 0.065953 in initial state
113428 explored states, 118 states in BSSCs (118 absorbing)
52806 component updates, 3216260764 transient state updates
Bounds: [0.93403+6.59696e-02]@[0.00000](51687), [2.7089e-14+6.60010e-02]@[0.00000](0), [0.0000+6.60109e-02]@[0.00000](0), [0.0000+6.59775e-02]@[0.00000](0), [1.3137e-06+6.59599e-02]@[0.00000](547), [3.6833e-10+6.59863e-02]@[0.00000](0), [0.0000+6.59820e-02]@[0.00000](0), [6.4558e-11+6.59818e-02]@[0.00000](0), [4.9169e-28+6.59946e-02]@[0.00000](0), [0.0000+6.59831e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:03:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
179205 loops (231/sec), 2181819508 sampling steps, 120335 aborted
loop condition 0.065946, exit probability 0.065929 in initial state
113529 explored states, 118 states in BSSCs (118 absorbing)
52832 component updates, 3255393226 transient state updates
Bounds: [0.93405+6.59465e-02]@[0.00000](51699), [3.4803e-14+6.59767e-02]@[0.00000](0), [0.0000+6.59853e-02]@[0.00000](0), [0.0000+6.59545e-02]@[0.00000](0), [1.6194e-06+6.59352e-02]@[0.00000](553), [3.6836e-10+6.59610e-02]@[0.00000](0), [0.0000+6.59600e-02]@[0.00000](0), [7.2293e-11+6.59573e-02]@[0.00000](0), [4.9164e-26+6.59723e-02]@[0.00000](0), [0.0000+6.59577e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:03:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
180363 loops (230/sec), 2195617136 sampling steps, 121469 aborted
loop condition 0.065932, exit probability 0.065914 in initial state
113657 explored states, 118 states in BSSCs (118 absorbing)
52856 component updates, 3292900806 transient state updates
Bounds: [0.93407+6.59321e-02]@[0.00000](51710), [4.1690e-14+6.59627e-02]@[0.00000](0), [0.0000+6.59713e-02]@[0.00000](0), [0.0000+6.59399e-02]@[0.00000](0), [1.8618e-06+6.59213e-02]@[0.00000](559), [3.6837e-10+6.59466e-02]@[0.00000](0), [0.0000+6.59445e-02]@[0.00000](0), [7.7698e-11+6.59430e-02]@[0.00000](0), [5.2037e-25+6.59580e-02]@[0.00000](0), [0.0000+6.59433e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:03:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
181374 loops (200/sec), 2207650731 sampling steps, 122453 aborted
loop condition 0.065903, exit probability 0.065884 in initial state
113777 explored states, 118 states in BSSCs (118 absorbing)
52883 component updates, 3334677059 transient state updates
Bounds: [0.93409+6.59028e-02]@[0.00000](51720), [5.5664e-14+6.59336e-02]@[0.00000](0), [0.0000+6.59402e-02]@[0.00000](0), [0.0000+6.59108e-02]@[0.00000](0), [2.3517e-06+6.58922e-02]@[0.00000](570), [3.6846e-10+6.59175e-02]@[0.00000](0), [0.0000+6.59169e-02]@[0.00000](0), [8.8193e-11+6.59138e-02]@[0.00000](0), [8.1300e-24+6.59274e-02]@[0.00000](0), [0.0000+6.59201e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:03:32 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
182331 loops (190/sec), 2219114665 sampling steps, 123380 aborted
loop condition 0.065864, exit probability 0.065845 in initial state
113848 explored states, 118 states in BSSCs (118 absorbing)
52913 component updates, 3378288499 transient state updates
Bounds: [0.93413+6.58639e-02]@[0.00000](51734), [7.3906e-14+6.58951e-02]@[0.00000](0), [0.0000+6.59010e-02]@[0.00000](0), [0.0000+6.58717e-02]@[0.00000](0), [2.9934e-06+6.58529e-02]@[0.00000](582), [3.6860e-10+6.58776e-02]@[0.00000](0), [0.0000+6.58841e-02]@[0.00000](0), [1.0100e-10+6.58748e-02]@[0.00000](0), [5.4267e-23+6.58888e-02]@[0.00000](0), [0.0000+6.58817e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:03:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
183420 loops (217/sec), 2232084405 sampling steps, 124442 aborted
loop condition 0.065826, exit probability 0.065806 in initial state
113989 explored states, 118 states in BSSCs (118 absorbing)
52940 component updates, 3418944398 transient state updates
Bounds: [0.93417+6.58256e-02]@[0.00000](51742), [9.5491e-14+6.58564e-02]@[0.00000](0), [0.0000+6.58631e-02]@[0.00000](0), [0.0000+6.58333e-02]@[0.00000](0), [3.6944e-06+6.58180e-02]@[0.00000](589), [3.6874e-10+6.58393e-02]@[0.00000](0), [0.0000+6.58479e-02]@[0.00000](0), [1.1447e-10+6.58364e-02]@[0.00000](0), [2.5755e-22+6.58505e-02]@[0.00000](0), [0.0000+6.58423e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:03:42 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
184583 loops (232/sec), 2245929412 sampling steps, 125581 aborted
loop condition 0.065796, exit probability 0.065776 in initial state
114088 explored states, 118 states in BSSCs (118 absorbing)
52964 component updates, 3454938149 transient state updates
Bounds: [0.93420+6.57962e-02]@[0.00000](51749), [1.2015e-13+6.58271e-02]@[0.00000](0), [0.0000+6.58344e-02]@[0.00000](0), [0.0000+6.58045e-02]@[0.00000](0), [4.4715e-06+6.57880e-02]@[0.00000](600), [3.6878e-10+6.58100e-02]@[0.00000](0), [0.0000+6.58179e-02]@[0.00000](0), [1.2642e-10+6.58078e-02]@[0.00000](0), [9.3203e-22+6.58207e-02]@[0.00000](0), [0.0000+6.58125e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:03:47 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
185768 loops (237/sec), 2260014262 sampling steps, 126743 aborted
loop condition 0.065772, exit probability 0.065752 in initial state
114171 explored states, 118 states in BSSCs (118 absorbing)
52987 component updates, 3490448295 transient state updates
Bounds: [0.93422+6.57723e-02]@[0.00000](51752), [1.4602e-13+6.58034e-02]@[0.00000](0), [0.0000+6.58112e-02]@[0.00000](0), [0.0000+6.57811e-02]@[0.00000](0), [5.2447e-06+6.57636e-02]@[0.00000](612), [3.6888e-10+6.57892e-02]@[0.00000](0), [0.0000+6.57955e-02]@[0.00000](0), [1.3742e-10+6.57833e-02]@[0.00000](0), [2.9001e-21+6.57970e-02]@[0.00000](0), [0.0000+6.57873e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:03:52 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
186949 loops (232/sec), 2274040218 sampling steps, 127896 aborted
loop condition 0.065742, exit probability 0.065721 in initial state
114292 explored states, 118 states in BSSCs (118 absorbing)
53014 component updates, 3529688055 transient state updates
Bounds: [0.93425+6.57424e-02]@[0.00000](51760), [1.8025e-13+6.57740e-02]@[0.00000](0), [0.0000+6.57821e-02]@[0.00000](0), [0.0000+6.57506e-02]@[0.00000](0), [6.2714e-06+6.57335e-02]@[0.00000](623), [3.6894e-10+6.57594e-02]@[0.00000](0), [0.0000+6.57673e-02]@[0.00000](0), [1.5093e-10+6.57535e-02]@[0.00000](0), [8.8540e-21+6.57682e-02]@[0.00000](0), [0.0000+6.57581e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:03:57 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
188164 loops (241/sec), 2288445883 sampling steps, 129088 aborted
loop condition 0.065724, exit probability 0.065703 in initial state
114392 explored states, 118 states in BSSCs (118 absorbing)
53037 component updates, 3566688867 transient state updates
Bounds: [0.93427+6.57244e-02]@[0.00000](51764), [2.0818e-13+6.57560e-02]@[0.00000](0), [0.0000+6.57649e-02]@[0.00000](0), [0.0000+6.57324e-02]@[0.00000](0), [7.0783e-06+6.57141e-02]@[0.00000](634), [3.6910e-10+6.57405e-02]@[0.00000](0), [0.0000+6.57502e-02]@[0.00000](0), [1.5825e-10+6.57382e-02]@[0.00000](0), [2.0695e-20+6.57493e-02]@[0.00000](0), [0.0000+6.57396e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:04:02 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
189162 loops (198/sec), 2300297828 sampling steps, 130058 aborted
loop condition 0.065684, exit probability 0.065661 in initial state
114533 explored states, 118 states in BSSCs (118 absorbing)
53065 component updates, 3608744540 transient state updates
Bounds: [0.93431+6.56838e-02]@[0.00000](51773), [2.7316e-13+6.57150e-02]@[0.00000](0), [0.0000+6.57249e-02]@[0.00000](0), [0.0000+6.56942e-02]@[0.00000](0), [8.7329e-06+6.56754e-02]@[0.00000](644), [3.6931e-10+6.56994e-02]@[0.00000](0), [0.0000+6.57068e-02]@[0.00000](0), [1.7745e-10+6.56965e-02]@[0.00000](0), [7.3065e-20+6.57078e-02]@[0.00000](0), [0.0000+6.56979e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:04:07 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
190220 loops (211/sec), 2312808149 sampling steps, 131091 aborted
loop condition 0.065650, exit probability 0.065624 in initial state
114698 explored states, 118 states in BSSCs (118 absorbing)
53090 component updates, 3648471715 transient state updates
Bounds: [0.93434+6.56498e-02]@[0.00000](51782), [3.4485e-13+6.56789e-02]@[0.00000](0), [0.0000+6.56902e-02]@[0.00000](0), [0.0000+6.56620e-02]@[0.00000](0), [1.0618e-05+6.56393e-02]@[0.00000](651), [3.6937e-10+6.56642e-02]@[0.00000](0), [0.0000+6.56714e-02]@[0.00000](0), [1.9348e-10+6.56647e-02]@[0.00000](0), [1.8672e-19+6.56756e-02]@[0.00000](0), [0.0000+6.56609e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:04:12 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
191221 loops (198/sec), 2324702608 sampling steps, 132063 aborted
loop condition 0.065622, exit probability 0.065596 in initial state
114762 explored states, 118 states in BSSCs (118 absorbing)
53119 component updates, 3691840655 transient state updates
Bounds: [0.93437+6.56220e-02]@[0.00000](51793), [4.0763e-13+6.56514e-02]@[0.00000](0), [0.0000+6.56670e-02]@[0.00000](0), [0.0000+6.56329e-02]@[0.00000](0), [1.2243e-05+6.56112e-02]@[0.00000](662), [3.6938e-10+6.56424e-02]@[0.00000](0), [0.0000+6.56438e-02]@[0.00000](0), [2.0851e-10+6.56335e-02]@[0.00000](0), [4.3011e-19+6.56484e-02]@[0.00000](0), [0.0000+6.56330e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:04:17 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
192309 loops (217/sec), 2337603431 sampling steps, 133126 aborted
loop condition 0.065595, exit probability 0.065568 in initial state
114860 explored states, 118 states in BSSCs (118 absorbing)
53144 component updates, 3729395703 transient state updates
Bounds: [0.93439+6.55949e-02]@[0.00000](51803), [4.7981e-13+6.56243e-02]@[0.00000](0), [0.0000+6.56411e-02]@[0.00000](0), [0.0000+6.56037e-02]@[0.00000](0), [1.4097e-05+6.55823e-02]@[0.00000](670), [5.1965e-10+6.56166e-02]@[0.00000](0), [0.0000+6.56167e-02]@[0.00000](0), [2.2227e-10+6.56062e-02]@[0.00000](0), [8.7715e-19+6.56209e-02]@[0.00000](0), [0.0000+6.56039e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:04:22 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
193542 loops (246/sec), 2352192991 sampling steps, 134337 aborted
loop condition 0.065573, exit probability 0.065543 in initial state
114922 explored states, 118 states in BSSCs (118 absorbing)
53166 component updates, 3761424682 transient state updates
Bounds: [0.93441+6.55729e-02]@[0.00000](51812), [5.5925e-13+6.56004e-02]@[0.00000](0), [0.0000+6.56165e-02]@[0.00000](0), [0.0000+6.55802e-02]@[0.00000](0), [1.5988e-05+6.55581e-02]@[0.00000](679), [5.5236e-10+6.55959e-02]@[0.00000](0), [0.0000+6.55927e-02]@[0.00000](0), [2.3508e-10+6.55817e-02]@[0.00000](0), [1.8114e-18+6.55970e-02]@[0.00000](0), [0.0000+6.55795e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:04:27 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
194658 loops (223/sec), 2365382306 sampling steps, 135427 aborted
loop condition 0.065541, exit probability 0.065511 in initial state
115000 explored states, 118 states in BSSCs (118 absorbing)
53192 component updates, 3800295388 transient state updates
Bounds: [0.93444+6.55417e-02]@[0.00000](51827), [6.6521e-13+6.55696e-02]@[0.00000](0), [0.0000+6.55860e-02]@[0.00000](0), [0.0000+6.55511e-02]@[0.00000](0), [1.8441e-05+6.55269e-02]@[0.00000](684), [5.8812e-10+6.55627e-02]@[0.00000](0), [0.0000+6.55618e-02]@[0.00000](0), [2.4915e-10+6.55544e-02]@[0.00000](0), [3.6607e-18+6.55662e-02]@[0.00000](0), [0.0000+6.55489e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:04:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
195714 loops (208/sec), 2377873093 sampling steps, 136457 aborted
loop condition 0.065500, exit probability 0.065468 in initial state
115102 explored states, 118 states in BSSCs (118 absorbing)
53218 component updates, 3840487304 transient state updates
Bounds: [0.93448+6.55000e-02]@[0.00000](51832), [8.3036e-13+6.55273e-02]@[0.00000](0), [0.0000+6.55445e-02]@[0.00000](0), [0.0000+6.55088e-02]@[0.00000](0), [2.2252e-05+6.54834e-02]@[0.00000](697), [6.2745e-10+6.55173e-02]@[0.00000](0), [0.0000+6.55192e-02]@[0.00000](0), [2.7076e-10+6.55112e-02]@[0.00000](0), [7.8883e-18+6.55287e-02]@[0.00000](0), [0.0000+6.55069e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:04:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
196829 loops (221/sec), 2391063979 sampling steps, 137546 aborted
loop condition 0.065461, exit probability 0.065428 in initial state
115240 explored states, 118 states in BSSCs (118 absorbing)
53244 component updates, 3879689463 transient state updates
Bounds: [0.93451+6.54612e-02]@[0.00000](51840), [1.0136e-12+6.54892e-02]@[0.00000](1), [0.0000+6.55069e-02]@[0.00000](0), [0.0000+6.54687e-02]@[0.00000](0), [2.6317e-05+6.54441e-02]@[0.00000](705), [6.5328e-10+6.54808e-02]@[0.00000](0), [0.0000+6.54807e-02]@[0.00000](0), [2.9146e-10+6.54722e-02]@[0.00000](0), [1.6126e-17+6.54892e-02]@[0.00000](0), [0.0000+6.54727e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:04:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
197962 loops (226/sec), 2404479739 sampling steps, 138655 aborted
loop condition 0.065430, exit probability 0.065396 in initial state
115330 explored states, 118 states in BSSCs (118 absorbing)
53268 component updates, 3916521521 transient state updates
Bounds: [0.93454+6.54301e-02]@[0.00000](51847), [1.1787e-12+6.54589e-02]@[0.00000](1), [0.0000+6.54790e-02]@[0.00000](0), [0.0000+6.54372e-02]@[0.00000](0), [2.9918e-05+6.54127e-02]@[0.00000](711), [7.4539e-10+6.54493e-02]@[0.00000](0), [0.0000+6.54506e-02]@[0.00000](0), [3.0762e-10+6.54411e-02]@[0.00000](0), [2.8535e-17+6.54575e-02]@[0.00000](0), [0.0000+6.54417e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:04:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
199022 loops (211/sec), 2416990029 sampling steps, 139689 aborted
loop condition 0.065394, exit probability 0.065360 in initial state
115408 explored states, 118 states in BSSCs (118 absorbing)
53294 component updates, 3956341682 transient state updates
Bounds: [0.93457+6.53948e-02]@[0.00000](51855), [1.4055e-12+6.54236e-02]@[0.00000](1), [0.0000+6.54439e-02]@[0.00000](0), [0.0000+6.53996e-02]@[0.00000](0), [3.4641e-05+6.53766e-02]@[0.00000](721), [7.7697e-10+6.54152e-02]@[0.00000](0), [0.0000+6.54153e-02]@[0.00000](0), [3.2648e-10+6.54059e-02]@[0.00000](0), [5.1773e-17+6.54214e-02]@[0.00000](0), [0.0000+6.54061e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:04:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
200183 loops (228/sec), 2430713575 sampling steps, 140821 aborted
loop condition 0.065360, exit probability 0.065322 in initial state
115487 explored states, 118 states in BSSCs (118 absorbing)
53323 component updates, 3999781085 transient state updates
Bounds: [0.93460+6.53609e-02]@[0.00000](51864), [1.6766e-12+6.53876e-02]@[0.00000](1), [0.0000+6.54067e-02]@[0.00000](0), [0.0000+6.53622e-02]@[0.00000](0), [4.0080e-05+6.53397e-02]@[0.00000](730), [8.0344e-10+6.53813e-02]@[0.00000](0), [0.0000+6.53790e-02]@[0.00000](0), [3.4566e-10+6.53687e-02]@[0.00000](0), [9.1897e-17+6.53881e-02]@[0.00000](0), [0.0000+6.53699e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:04:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
201163 loops (195/sec), 2442298265 sampling steps, 141771 aborted
loop condition 0.065317, exit probability 0.065279 in initial state
115541 explored states, 118 states in BSSCs (118 absorbing)
53353 component updates, 4043343361 transient state updates
Bounds: [0.93463+6.53183e-02]@[0.00000](51878), [1.9984e-12+6.53466e-02]@[0.00000](1), [0.0000+6.53658e-02]@[0.00000](0), [0.0000+6.53204e-02]@[0.00000](0), [4.6464e-05+6.52978e-02]@[0.00000](738), [8.1929e-10+6.53463e-02]@[0.00000](0), [0.0000+6.53378e-02]@[0.00000](0), [3.6672e-10+6.53285e-02]@[0.00000](0), [1.5464e-16+6.53501e-02]@[0.00000](0), [0.0000+6.53288e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:05:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
202125 loops (191/sec), 2453715002 sampling steps, 142704 aborted
loop condition 0.065277, exit probability 0.065239 in initial state
115610 explored states, 118 states in BSSCs (118 absorbing)
53382 component updates, 4085572985 transient state updates
Bounds: [0.93467+6.52783e-02]@[0.00000](51885), [2.3779e-12+6.53078e-02]@[0.00000](1), [0.0000+6.53277e-02]@[0.00000](0), [0.0000+6.52806e-02]@[0.00000](0), [5.3716e-05+6.52581e-02]@[0.00000](750), [8.3685e-10+6.53057e-02]@[0.00000](0), [0.0000+6.53011e-02]@[0.00000](0), [3.8701e-10+6.52901e-02]@[0.00000](0), [2.7087e-16+6.53094e-02]@[0.00000](0), [0.0000+6.52897e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:05:08 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
203289 loops (229/sec), 2467491915 sampling steps, 143840 aborted
loop condition 0.065236, exit probability 0.065195 in initial state
115697 explored states, 118 states in BSSCs (118 absorbing)
53410 component updates, 4126341327 transient state updates
Bounds: [0.93470+6.52373e-02]@[0.00000](51892), [2.7467e-12+6.52670e-02]@[0.00000](1), [0.0000+6.52862e-02]@[0.00000](0), [0.0000+6.52382e-02]@[0.00000](0), [6.0798e-05+6.52156e-02]@[0.00000](760), [8.5486e-10+6.52645e-02]@[0.00000](0), [0.0000+6.52611e-02]@[0.00000](0), [4.0659e-10+6.52490e-02]@[0.00000](0), [4.0595e-16+6.52683e-02]@[0.00000](0), [0.0000+6.52478e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:05:13 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
204404 loops (223/sec), 2480633598 sampling steps, 144928 aborted
loop condition 0.065201, exit probability 0.065160 in initial state
115812 explored states, 118 states in BSSCs (118 absorbing)
53437 component updates, 4166794408 transient state updates
Bounds: [0.93473+6.52027e-02]@[0.00000](51904), [3.1662e-12+6.52339e-02]@[0.00000](1), [0.0000+6.52534e-02]@[0.00000](0), [0.0000+6.52042e-02]@[0.00000](0), [6.8451e-05+6.51814e-02]@[0.00000](767), [8.5892e-10+6.52293e-02]@[0.00000](0), [0.0000+6.52279e-02]@[0.00000](0), [4.2327e-10+6.52161e-02]@[0.00000](0), [6.2696e-16+6.52365e-02]@[0.00000](0), [0.0000+6.52141e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:05:18 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
205473 loops (211/sec), 2493205669 sampling steps, 145970 aborted
loop condition 0.065157, exit probability 0.065114 in initial state
115915 explored states, 118 states in BSSCs (118 absorbing)
53464 component updates, 4207306345 transient state updates
Bounds: [0.93476+6.51584e-02]@[0.00000](51913), [3.6537e-12+6.51915e-02]@[0.00000](1), [0.0000+6.52094e-02]@[0.00000](0), [0.0000+6.51600e-02]@[0.00000](0), [7.7884e-05+6.51361e-02]@[0.00000](776), [8.6862e-10+6.51847e-02]@[0.00000](0), [0.0000+6.51828e-02]@[0.00000](0), [4.4547e-10+6.51723e-02]@[0.00000](0), [9.3929e-16+6.51904e-02]@[0.00000](0), [0.0000+6.51692e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:05:23 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
206565 loops (218/sec), 2506013577 sampling steps, 147038 aborted
loop condition 0.065124, exit probability 0.065080 in initial state
116024 explored states, 118 states in BSSCs (118 absorbing)
53488 component updates, 4244463990 transient state updates
Bounds: [0.93479+6.51263e-02]@[0.00000](51923), [4.1073e-12+6.51601e-02]@[0.00000](1), [0.0000+6.51777e-02]@[0.00000](0), [0.0000+6.51277e-02]@[0.00000](0), [8.6025e-05+6.51033e-02]@[0.00000](786), [8.7285e-10+6.51526e-02]@[0.00000](0), [0.0000+6.51507e-02]@[0.00000](0), [4.6159e-10+6.51403e-02]@[0.00000](0), [1.3510e-15+6.51587e-02]@[0.00000](0), [0.0000+6.51336e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:05:28 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
207763 loops (239/sec), 2520095694 sampling steps, 148212 aborted
loop condition 0.065073, exit probability 0.065027 in initial state
116190 explored states, 118 states in BSSCs (118 absorbing)
53512 component updates, 4279270762 transient state updates
Bounds: [0.93483+6.50750e-02]@[0.00000](51931), [4.7051e-12+6.51132e-02]@[0.00000](1), [0.0000+6.51316e-02]@[0.00000](0), [0.0000+6.50770e-02]@[0.00000](0), [9.7355e-05+6.50521e-02]@[0.00000](794), [8.8810e-10+6.51026e-02]@[0.00000](0), [0.0000+6.51006e-02]@[0.00000](0), [4.8615e-10+6.50905e-02]@[0.00000](0), [2.0150e-15+6.51084e-02]@[0.00000](0), [0.0000+6.50829e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:05:33 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
208891 loops (218/sec), 2533332034 sampling steps, 149317 aborted
loop condition 0.065022, exit probability 0.064974 in initial state
116289 explored states, 118 states in BSSCs (118 absorbing)
53535 component updates, 4317454029 transient state updates
Bounds: [0.93486+6.50241e-02]@[0.00000](51940), [5.4349e-12+6.50649e-02]@[0.00000](1), [0.0000+6.50807e-02]@[0.00000](0), [0.0000+6.50303e-02]@[0.00000](0), [0.00011065+6.50006e-02]@[0.00000](805), [8.9814e-10+6.50522e-02]@[0.00000](0), [0.0000+6.50530e-02]@[0.00000](0), [5.0994e-10+6.50407e-02]@[0.00000](0), [2.8056e-15+6.50682e-02]@[0.00000](0), [0.0000+6.50342e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:05:38 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
210223 loops (265/sec), 2548967301 sampling steps, 150631 aborted
loop condition 0.065000, exit probability 0.064950 in initial state
116380 explored states, 118 states in BSSCs (118 absorbing)
53553 component updates, 4343684357 transient state updates
Bounds: [0.93488+6.50009e-02]@[0.00000](51951), [5.8276e-12+6.50427e-02]@[0.00000](1), [0.0000+6.50590e-02]@[0.00000](0), [0.0000+6.50071e-02]@[0.00000](0), [0.00011639+6.49800e-02]@[0.00000](808), [8.9905e-10+6.50291e-02]@[0.00000](0), [0.0000+6.50317e-02]@[0.00000](0), [5.1934e-10+6.50181e-02]@[0.00000](0), [3.6933e-15+6.50440e-02]@[0.00000](0), [0.0000+6.50108e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:05:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
211184 loops (192/sec), 2560281821 sampling steps, 151563 aborted
loop condition 0.064939, exit probability 0.064887 in initial state
116468 explored states, 118 states in BSSCs (118 absorbing)
53582 component updates, 4385838720 transient state updates
Bounds: [0.93492+6.49401e-02]@[0.00000](51960), [6.8842e-12+6.49849e-02]@[0.00000](1), [0.0000+6.50006e-02]@[0.00000](0), [0.0000+6.49442e-02]@[0.00000](0), [0.00013382+6.49199e-02]@[0.00000](819), [9.0345e-10+6.49719e-02]@[0.00000](0), [0.0000+6.49709e-02]@[0.00000](0), [5.4627e-10+6.49585e-02]@[0.00000](0), [6.0047e-15+6.49809e-02]@[0.00000](0), [0.0000+6.49501e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:05:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
212148 loops (189/sec), 2571594201 sampling steps, 152499 aborted
loop condition 0.064880, exit probability 0.064824 in initial state
116554 explored states, 118 states in BSSCs (118 absorbing)
53610 component updates, 4427849012 transient state updates
Bounds: [0.93496+6.48800e-02]@[0.00000](51970), [8.0017e-12+6.49274e-02]@[0.00000](1), [0.0000+6.49429e-02]@[0.00000](0), [0.0000+6.48836e-02]@[0.00000](0), [0.00015143+6.48650e-02]@[0.00000](825), [9.0611e-10+6.49145e-02]@[0.00000](0), [0.0000+6.49108e-02]@[0.00000](0), [5.7060e-10+6.48995e-02]@[0.00000](0), [8.8875e-15+6.49316e-02]@[0.00000](0), [0.0000+6.48955e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:05:53 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
213217 loops (213/sec), 2584131114 sampling steps, 153544 aborted
loop condition 0.064824, exit probability 0.064764 in initial state
116633 explored states, 118 states in BSSCs (118 absorbing)
53634 component updates, 4464022341 transient state updates
Bounds: [0.93500+6.48250e-02]@[0.00000](51976), [9.2159e-12+6.48724e-02]@[0.00000](1), [0.0000+6.48871e-02]@[0.00000](0), [0.0000+6.48289e-02]@[0.00000](0), [0.00017072+6.48083e-02]@[0.00000](837), [9.0861e-10+6.48583e-02]@[0.00000](0), [0.0000+6.48540e-02]@[0.00000](0), [5.9333e-10+6.48457e-02]@[0.00000](0), [1.2911e-14+6.48742e-02]@[0.00000](0), [0.0000+6.48384e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:05:58 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
214294 loops (215/sec), 2596755627 sampling steps, 154595 aborted
loop condition 0.064770, exit probability 0.064708 in initial state
116748 explored states, 118 states in BSSCs (118 absorbing)
53660 component updates, 4503208900 transient state updates
Bounds: [0.93503+6.47711e-02]@[0.00000](51983), [1.0458e-11+6.48208e-02]@[0.00000](1), [0.0000+6.48399e-02]@[0.00000](0), [0.0000+6.47795e-02]@[0.00000](0), [0.00019033+6.47545e-02]@[0.00000](847), [9.0974e-10+6.48073e-02]@[0.00000](0), [0.0000+6.48001e-02]@[0.00000](0), [6.1456e-10+6.47945e-02]@[0.00000](0), [1.8063e-14+6.48195e-02]@[0.00000](0), [0.0000+6.47855e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:06:03 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
215326 loops (206/sec), 2608850281 sampling steps, 155599 aborted
loop condition 0.064711, exit probability 0.064646 in initial state
116810 explored states, 118 states in BSSCs (118 absorbing)
53688 component updates, 4543549656 transient state updates
Bounds: [0.93507+6.47119e-02]@[0.00000](51993), [1.1669e-11+6.47727e-02]@[0.00000](1), [0.0000+6.47831e-02]@[0.00000](0), [0.0000+6.47179e-02]@[0.00000](0), [0.00021212+6.46960e-02]@[0.00000](855), [9.1111e-10+6.47498e-02]@[0.00000](0), [0.0000+6.47439e-02]@[0.00000](0), [6.3736e-10+6.47355e-02]@[0.00000](0), [2.5517e-14+6.47611e-02]@[0.00000](0), [0.0000+6.47264e-02]@[0.00000](0) ... (118)
Sep 13, 2024 11:06:05 AM de.tum.in.probmodels.model.impl.DynamicQuotient updateComponents
INFO: Collapsed states: 889, Actions: 1.00 avg/1 max, Transitions 1.00 avg/1 max
Sep 13, 2024 11:06:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
215738 loops (76/sec), 2613687673 sampling steps, 156006 aborted
loop condition 0.064703, exit probability 0.064638 in initial state
116840 explored states, 1007 states in BSSCs (1007 absorbing)
53693 component updates, 4552053402 transient state updates
Bounds: [0.93507+6.47043e-02]@[0.00000](51996), [1.1942e-11+6.47634e-02]@[0.00000](1), [0.0000+6.47753e-02]@[0.00000](0), [0.0000+6.47101e-02]@[0.00000](0), [0.00021530+6.46884e-02]@[0.00000](855), [9.1114e-10+6.47421e-02]@[0.00000](0), [0.0000+6.47373e-02]@[0.00000](0), [6.4005e-10+6.47279e-02]@[0.00000](0), [2.7080e-14+6.47535e-02]@[0.00000](0), [0.0000+6.47186e-02]@[0.00000](0) ... (1007)
Sep 13, 2024 11:06:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
215743 loops (0/sec), 2613745860 sampling steps, 156011 aborted
loop condition 0.064700, exit probability 0.064634 in initial state
116841 explored states, 1007 states in BSSCs (1007 absorbing)
53693 component updates, 4609764022 transient state updates
Bounds: [0.93508+6.47006e-02]@[0.00000](51996), [1.2054e-11+6.47598e-02]@[0.00000](1), [0.0000+6.47717e-02]@[0.00000](0), [0.0000+6.47059e-02]@[0.00000](0), [0.00021691+6.46848e-02]@[0.00000](855), [9.1114e-10+6.47384e-02]@[0.00000](0), [0.0000+6.47334e-02]@[0.00000](0), [6.4126e-10+6.47242e-02]@[0.00000](0), [2.7948e-14+6.47499e-02]@[0.00000](0), [0.0000+6.47149e-02]@[0.00000](0) ... (1007)
Sep 13, 2024 11:06:20 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
215748 loops (0/sec), 2613803839 sampling steps, 156016 aborted
loop condition 0.064692, exit probability 0.064627 in initial state
116841 explored states, 1007 states in BSSCs (1007 absorbing)
53693 component updates, 4667072634 transient state updates
Bounds: [0.93508+6.46935e-02]@[0.00000](51996), [1.2262e-11+6.47527e-02]@[0.00000](1), [0.0000+6.47647e-02]@[0.00000](0), [0.0000+6.46988e-02]@[0.00000](0), [0.00021993+6.46776e-02]@[0.00000](855), [9.1114e-10+6.47316e-02]@[0.00000](0), [0.0000+6.47263e-02]@[0.00000](0), [6.4380e-10+6.47173e-02]@[0.00000](0), [2.9268e-14+6.47431e-02]@[0.00000](0), [0.0000+6.47075e-02]@[0.00000](0) ... (1007)
Sep 13, 2024 11:06:26 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
215753 loops (0/sec), 2613864547 sampling steps, 156021 aborted
loop condition 0.064682, exit probability 0.064615 in initial state
116841 explored states, 1007 states in BSSCs (1007 absorbing)
53693 component updates, 4727418226 transient state updates
Bounds: [0.93509+6.46827e-02]@[0.00000](51996), [1.2555e-11+6.47425e-02]@[0.00000](1), [0.0000+6.47542e-02]@[0.00000](0), [0.0000+6.46872e-02]@[0.00000](0), [0.00022433+6.46667e-02]@[0.00000](855), [9.1127e-10+6.47209e-02]@[0.00000](0), [0.0000+6.47155e-02]@[0.00000](0), [6.4770e-10+6.47064e-02]@[0.00000](0), [3.1369e-14+6.47323e-02]@[0.00000](0), [0.0000+6.46965e-02]@[0.00000](0) ... (1007)
Sep 13, 2024 11:06:31 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
215758 loops (0/sec), 2613922474 sampling steps, 156026 aborted
loop condition 0.064672, exit probability 0.064606 in initial state
116841 explored states, 1007 states in BSSCs (1007 absorbing)
53693 component updates, 4784915586 transient state updates
Bounds: [0.93509+6.46737e-02]@[0.00000](51996), [1.2793e-11+6.47341e-02]@[0.00000](1), [0.0000+6.47454e-02]@[0.00000](0), [0.0000+6.46780e-02]@[0.00000](0), [0.00022799+6.46578e-02]@[0.00000](855), [9.1136e-10+6.47120e-02]@[0.00000](0), [0.0000+6.47062e-02]@[0.00000](0), [6.5111e-10+6.46972e-02]@[0.00000](0), [3.3036e-14+6.47233e-02]@[0.00000](0), [0.0000+6.46874e-02]@[0.00000](0) ... (1007)
Sep 13, 2024 11:06:37 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
215763 loops (0/sec), 2613983056 sampling steps, 156031 aborted
loop condition 0.064661, exit probability 0.064594 in initial state
116841 explored states, 1007 states in BSSCs (1007 absorbing)
53693 component updates, 4844892693 transient state updates
Bounds: [0.93510+6.46614e-02]@[0.00000](51996), [1.3090e-11+6.47240e-02]@[0.00000](1), [0.0000+6.47349e-02]@[0.00000](0), [0.0000+6.46670e-02]@[0.00000](0), [0.00023244+6.46471e-02]@[0.00000](855), [9.1138e-10+6.47035e-02]@[0.00000](0), [0.0000+6.46952e-02]@[0.00000](0), [6.5502e-10+6.46865e-02]@[0.00000](0), [3.5078e-14+6.47114e-02]@[0.00000](0), [0.0000+6.46777e-02]@[0.00000](0) ... (1007)
Sep 13, 2024 11:06:43 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
215768 loops (0/sec), 2614042414 sampling steps, 156036 aborted
loop condition 0.064645, exit probability 0.064578 in initial state
116841 explored states, 1007 states in BSSCs (1007 absorbing)
53693 component updates, 4903561798 transient state updates
Bounds: [0.93511+6.46457e-02]@[0.00000](51996), [1.3576e-11+6.47079e-02]@[0.00000](1), [0.0000+6.47187e-02]@[0.00000](0), [0.0000+6.46507e-02]@[0.00000](0), [0.00023936+6.46309e-02]@[0.00000](855), [9.1138e-10+6.46925e-02]@[0.00000](0), [0.0000+6.46792e-02]@[0.00000](0), [6.6030e-10+6.46710e-02]@[0.00000](0), [3.8446e-14+6.46961e-02]@[0.00000](0), [0.0000+6.46618e-02]@[0.00000](0) ... (1007)
Sep 13, 2024 11:06:48 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
215773 loops (0/sec), 2614097521 sampling steps, 156041 aborted
loop condition 0.064629, exit probability 0.064561 in initial state
116841 explored states, 1007 states in BSSCs (1007 absorbing)
53693 component updates, 4958176726 transient state updates
Bounds: [0.93512+6.46299e-02]@[0.00000](51996), [1.4026e-11+6.46926e-02]@[0.00000](1), [0.0000+6.47031e-02]@[0.00000](0), [0.0000+6.46348e-02]@[0.00000](0), [0.00024594+6.46151e-02]@[0.00000](855), [9.1140e-10+6.46767e-02]@[0.00000](0), [0.0000+6.46632e-02]@[0.00000](0), [6.6591e-10+6.46559e-02]@[0.00000](0), [4.1676e-14+6.46807e-02]@[0.00000](0), [0.0000+6.46459e-02]@[0.00000](0) ... (1007)
Sep 13, 2024 11:06:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
215778 loops (0/sec), 2614157533 sampling steps, 156045 aborted
loop condition 0.064619, exit probability 0.064551 in initial state
116841 explored states, 1007 states in BSSCs (1007 absorbing)
53694 component updates, 5017515518 transient state updates
Bounds: [0.93512+6.46197e-02]@[0.00000](51996), [1.4361e-11+6.46806e-02]@[0.00000](1), [0.0000+6.46934e-02]@[0.00000](0), [0.0000+6.46248e-02]@[0.00000](0), [0.00024995+6.46051e-02]@[0.00000](856), [9.1157e-10+6.46672e-02]@[0.00000](0), [0.0000+6.46532e-02]@[0.00000](0), [6.6933e-10+6.46461e-02]@[0.00000](0), [4.3731e-14+6.46709e-02]@[0.00000](0), [0.0000+6.46360e-02]@[0.00000](0) ... (1007)
Sep 13, 2024 11:06:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
215783 loops (0/sec), 2614216626 sampling steps, 156050 aborted
loop condition 0.064604, exit probability 0.064536 in initial state
116841 explored states, 1007 states in BSSCs (1007 absorbing)
53694 component updates, 5076205090 transient state updates
Bounds: [0.93513+6.46051e-02]@[0.00000](51996), [1.4750e-11+6.46668e-02]@[0.00000](1), [0.0000+6.46793e-02]@[0.00000](0), [0.0000+6.46102e-02]@[0.00000](0), [0.00025576+6.45907e-02]@[0.00000](856), [9.1184e-10+6.46504e-02]@[0.00000](0), [0.0000+6.46387e-02]@[0.00000](0), [6.7461e-10+6.46318e-02]@[0.00000](0), [4.6489e-14+6.46568e-02]@[0.00000](0), [0.0000+6.46214e-02]@[0.00000](0) ... (1007)