Picked up JAVA_TOOL_OPTIONS: -Xmx16g
Sep 13, 2024 10:47:59 AM stationary.Main main
INFO: Command line: /rwthfs/rz/clusterevts/evt-benchmarking/benchmarks/dtmc/leader_sync/leader_sync.5-2.prism approximate --sampling SAMPLE_NAIVE --precision 0.001
Sep 13, 2024 10:47:59 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:48:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
2524756 loops (504951/sec), 13412687 sampling steps, 1735853 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
788903 component updates, 4733418 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](788903)
Sep 13, 2024 10:48:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
5192864 loops (533621/sec), 27587285 sampling steps, 3569903 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
1622961 component updates, 9737766 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](1622961)
Sep 13, 2024 10:48:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
7861150 loops (533657/sec), 41762118 sampling steps, 5404786 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
2456364 component updates, 14738184 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](2456364)
Sep 13, 2024 10:48:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
10552190 loops (538208/sec), 56059354 sampling steps, 7253790 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
3298400 component updates, 19790400 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](3298400)
Sep 13, 2024 10:48:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
13252727 loops (540107/sec), 70406778 sampling steps, 9109588 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
4143139 component updates, 24858834 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](4143139)
Sep 13, 2024 10:48:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
15965487 loops (542552/sec), 84818065 sampling steps, 10974861 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
4990626 component updates, 29943756 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](4990626)
Sep 13, 2024 10:48:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
18678691 loops (542640/sec), 99231617 sampling steps, 12840533 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
5838158 component updates, 35028948 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](5838158)
Sep 13, 2024 10:48:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
21394673 loops (543196/sec), 113658658 sampling steps, 14709384 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
6685289 component updates, 40111734 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](6685289)
Sep 13, 2024 10:48:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
24116963 loops (544458/sec), 128122234 sampling steps, 16579548 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
7537415 component updates, 45224490 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](7537415)
Sep 13, 2024 10:48:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
26845918 loops (545791/sec), 142619280 sampling steps, 18456232 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
8389686 component updates, 50338116 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](8389686)
Sep 13, 2024 10:48:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
29532014 loops (537219/sec), 156890072 sampling steps, 20302016 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
9229998 component updates, 55379988 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](9229998)
Sep 13, 2024 10:48:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
32022962 loops (498189/sec), 170124040 sampling steps, 22013736 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
10009226 component updates, 60055356 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](10009226)
Sep 13, 2024 10:49:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
34523575 loops (500122/sec), 183408742 sampling steps, 23732712 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
10790863 component updates, 64745178 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](10790863)
Sep 13, 2024 10:49:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
37141851 loops (523655/sec), 197317860 sampling steps, 25533250 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
11608601 component updates, 69651606 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](11608601)
Sep 13, 2024 10:49:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
39786372 loops (528904/sec), 211366794 sampling steps, 27351442 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
12434930 component updates, 74609580 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](12434930)
Sep 13, 2024 10:49:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
42437258 loops (530177/sec), 225450131 sampling steps, 29173421 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
13263837 component updates, 79583022 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](13263837)
Sep 13, 2024 10:49:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
45078756 loops (528299/sec), 239483955 sampling steps, 30988585 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
14090171 component updates, 84541026 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](14090171)
Sep 13, 2024 10:49:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
47692494 loops (522747/sec), 253369275 sampling steps, 32785693 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
14906801 component updates, 89440806 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](14906801)
Sep 13, 2024 10:49:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
50360899 loops (533681/sec), 267547097 sampling steps, 34618301 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
15742598 component updates, 94455588 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](15742598)
Sep 13, 2024 10:49:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
53043920 loops (536604/sec), 281800956 sampling steps, 36462568 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
16581352 component updates, 99488112 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](16581352)
Sep 13, 2024 10:49:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
55730298 loops (537275/sec), 296071743 sampling steps, 38310049 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
17420249 component updates, 104521494 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](17420249)
Sep 13, 2024 10:49:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
58420571 loops (538054/sec), 310364581 sampling steps, 40158849 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
18261722 component updates, 109570332 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](18261722)
Sep 13, 2024 10:49:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
61107425 loops (537370/sec), 324639029 sampling steps, 42005525 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
19101900 component updates, 114611400 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](19101900)
Sep 13, 2024 10:49:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
63695192 loops (517553/sec), 338388035 sampling steps, 43783121 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
19912071 component updates, 119472426 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](19912071)
Sep 13, 2024 10:50:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
66304455 loops (521852/sec), 352250520 sampling steps, 45576214 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
20728241 component updates, 124369446 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](20728241)
Sep 13, 2024 10:50:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
68972850 loops (533679/sec), 366426135 sampling steps, 47410969 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
21561881 component updates, 129371286 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](21561881)
Sep 13, 2024 10:50:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
71642819 loops (533993/sec), 380610483 sampling steps, 49246435 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
22396384 component updates, 134378304 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](22396384)
Sep 13, 2024 10:50:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
74323223 loops (536080/sec), 394850442 sampling steps, 51088900 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
23234323 component updates, 139405938 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](23234323)
Sep 13, 2024 10:50:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
77019684 loops (539292/sec), 409175148 sampling steps, 52942960 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
24076724 component updates, 144460344 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](24076724)
Sep 13, 2024 10:50:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
79620887 loops (520240/sec), 422994660 sampling steps, 54730666 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
24890221 component updates, 149341326 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](24890221)
Sep 13, 2024 10:50:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
82256308 loops (527084/sec), 436995682 sampling steps, 56542170 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
25714138 component updates, 154284828 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](25714138)
Sep 13, 2024 10:50:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
84948880 loops (538514/sec), 451301332 sampling steps, 58391952 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
26556928 component updates, 159341568 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](26556928)
Sep 13, 2024 10:50:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
87642758 loops (538775/sec), 465611604 sampling steps, 60244948 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
27397810 component updates, 164386860 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](27397810)
Sep 13, 2024 10:50:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
90334361 loops (538320/sec), 479910943 sampling steps, 62095227 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
28239134 component updates, 169434804 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](28239134)
Sep 13, 2024 10:50:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
93029150 loops (538957/sec), 494227446 sampling steps, 63947458 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
29081692 component updates, 174490152 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](29081692)
Sep 13, 2024 10:50:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
95689880 loops (532146/sec), 508362322 sampling steps, 65776962 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
29912918 component updates, 179477508 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](29912918)
Sep 13, 2024 10:51:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
98273955 loops (516815/sec), 522091126 sampling steps, 67552608 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
30721347 component updates, 184328082 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](30721347)
Sep 13, 2024 10:51:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
100947198 loops (534648/sec), 536293349 sampling steps, 69389843 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
31557355 component updates, 189344130 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](31557355)
Sep 13, 2024 10:51:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
103629866 loops (536533/sec), 550546257 sampling steps, 71232943 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
32396923 component updates, 194381538 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](32396923)
Sep 13, 2024 10:51:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
106334628 loops (540952/sec), 564915450 sampling steps, 73092322 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
33242306 component updates, 199453836 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](33242306)
Sep 13, 2024 10:51:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
109035121 loops (540098/sec), 579262595 sampling steps, 74948135 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
34086986 component updates, 204521916 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](34086986)
Sep 13, 2024 10:51:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
111693921 loops (531760/sec), 593387441 sampling steps, 76776089 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
34917832 component updates, 209506992 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](34917832)
Sep 13, 2024 10:51:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
114246950 loops (510605/sec), 606951089 sampling steps, 78530615 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
35716335 component updates, 214298010 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](35716335)
Sep 13, 2024 10:51:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
116884821 loops (527574/sec), 620964876 sampling steps, 80344054 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
36540767 component updates, 219244602 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](36540767)
Sep 13, 2024 10:51:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
119500586 loops (523153/sec), 634861872 sampling steps, 82141648 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
37358938 component updates, 224153628 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](37358938)
Sep 13, 2024 10:51:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
122132044 loops (526291/sec), 648840803 sampling steps, 83951465 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
38180579 component updates, 229083474 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](38180579)
Sep 13, 2024 10:51:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
124767812 loops (527153/sec), 662842872 sampling steps, 85764004 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
39003808 component updates, 234022848 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](39003808)
Sep 13, 2024 10:51:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
127393926 loops (525222/sec), 676795347 sampling steps, 87568213 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
39825713 component updates, 238954278 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](39825713)
Sep 13, 2024 10:52:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
129943057 loops (509826/sec), 690337178 sampling steps, 89321168 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
40621889 component updates, 243731334 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](40621889)
Sep 13, 2024 10:52:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
132608394 loops (533067/sec), 704496293 sampling steps, 91154075 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
41454319 component updates, 248725914 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](41454319)
Sep 13, 2024 10:52:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
135275274 loops (533376/sec), 718665224 sampling steps, 92986424 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
42288850 component updates, 253733100 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](42288850)
Sep 13, 2024 10:52:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
137965407 loops (538026/sec), 732956999 sampling steps, 94835447 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
43129960 component updates, 258779760 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](43129960)
Sep 13, 2024 10:52:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
140652740 loops (537466/sec), 747233251 sampling steps, 96683193 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
43969547 component updates, 263817282 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](43969547)
Sep 13, 2024 10:52:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
143332219 loops (535895/sec), 761468002 sampling steps, 98525316 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
44806903 component updates, 268841418 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](44806903)
Sep 13, 2024 10:52:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
146013483 loops (536252/sec), 775713076 sampling steps, 100367826 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
45645657 component updates, 273873942 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](45645657)
Sep 13, 2024 10:52:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
148709295 loops (539162/sec), 790034304 sampling steps, 102221470 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
46487825 component updates, 278926950 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](46487825)
Sep 13, 2024 10:52:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
151408994 loops (539939/sec), 804375795 sampling steps, 104078173 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
47330821 component updates, 283984926 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](47330821)
Sep 13, 2024 10:52:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
154105746 loops (539350/sec), 818702132 sampling steps, 105932348 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
48173398 component updates, 289040388 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](48173398)
Sep 13, 2024 10:52:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
156802208 loops (539292/sec), 833027242 sampling steps, 107786010 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
49016198 component updates, 294097188 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](49016198)
Sep 13, 2024 10:52:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
159487429 loops (537044/sec), 847292541 sampling steps, 109632037 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
49855392 component updates, 299132352 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](49855392)
Sep 13, 2024 10:53:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
162106323 loops (523778/sec), 861206027 sampling steps, 111431915 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
50674408 component updates, 304046448 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](50674408)
Sep 13, 2024 10:53:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
164678046 loops (514344/sec), 874867329 sampling steps, 113200951 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
51477095 component updates, 308862570 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](51477095)
Sep 13, 2024 10:53:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
167340356 loops (532462/sec), 889010813 sampling steps, 115031327 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
52309029 component updates, 313854174 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](52309029)
Sep 13, 2024 10:53:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
170019457 loops (535820/sec), 903244743 sampling steps, 116872003 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
53147454 component updates, 318884724 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](53147454)
Sep 13, 2024 10:53:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
172690051 loops (534118/sec), 917433192 sampling steps, 118707118 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
53982933 component updates, 323897598 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](53982933)
Sep 13, 2024 10:53:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
175368468 loops (535683/sec), 931662525 sampling steps, 120548287 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
54820181 component updates, 328921086 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](54820181)
Sep 13, 2024 10:53:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
178028382 loops (531982/sec), 945793751 sampling steps, 122376545 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
55651837 component updates, 333911022 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](55651837)
Sep 13, 2024 10:53:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
180708817 loops (536087/sec), 960034042 sampling steps, 124218864 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
56489953 component updates, 338939718 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](56489953)
Sep 13, 2024 10:53:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
183331847 loops (524606/sec), 973967737 sampling steps, 126023349 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
57308498 component updates, 343850988 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](57308498)
Sep 13, 2024 10:53:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
186013712 loops (536373/sec), 988216292 sampling steps, 127865984 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
58147728 component updates, 348886368 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](58147728)
Sep 13, 2024 10:53:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
188676463 loops (532550/sec), 1002362503 sampling steps, 129696279 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
58980184 component updates, 353881104 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](58980184)
Sep 13, 2024 10:53:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
191336691 loops (532045/sec), 1016494856 sampling steps, 131525294 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
59811397 component updates, 358868382 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](59811397)
Sep 13, 2024 10:54:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
193985499 loops (529761/sec), 1030568038 sampling steps, 133344960 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
60640539 component updates, 363843234 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](60640539)
Sep 13, 2024 10:54:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
196649705 loops (532841/sec), 1044722584 sampling steps, 135175650 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
61474055 component updates, 368844330 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](61474055)
Sep 13, 2024 10:54:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
199313752 loops (532809/sec), 1058875637 sampling steps, 137006879 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
62306873 component updates, 373841238 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](62306873)
Sep 13, 2024 10:54:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
201997471 loops (536743/sec), 1073134308 sampling steps, 138850522 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
63146949 component updates, 378881694 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](63146949)
Sep 13, 2024 10:54:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
204678230 loops (536151/sec), 1087375598 sampling steps, 140693786 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
63984444 component updates, 383906664 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](63984444)
Sep 13, 2024 10:54:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
207363499 loops (537053/sec), 1101641492 sampling steps, 142539506 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
64823993 component updates, 388943958 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](64823993)
Sep 13, 2024 10:54:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
210044914 loops (536283/sec), 1115886252 sampling steps, 144383236 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
65661678 component updates, 393970068 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](65661678)
Sep 13, 2024 10:54:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
212723687 loops (535754/sec), 1130117218 sampling steps, 146224908 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
66498779 component updates, 398992674 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](66498779)
Sep 13, 2024 10:54:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
215412124 loops (537687/sec), 1144400586 sampling steps, 148072162 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
67339962 component updates, 404039772 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](67339962)
Sep 13, 2024 10:54:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
218139687 loops (545512/sec), 1158891276 sampling steps, 149946850 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
68192837 component updates, 409157022 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](68192837)
Sep 13, 2024 10:54:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
220854199 loops (542902/sec), 1173311706 sampling steps, 151813492 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
69040707 component updates, 414244242 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](69040707)
Sep 13, 2024 10:54:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
223558480 loops (540856/sec), 1187678351 sampling steps, 153672533 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
69885947 component updates, 419315682 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](69885947)
Sep 13, 2024 10:55:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
226219311 loops (532166/sec), 1201814639 sampling steps, 155501231 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
70718080 component updates, 424308480 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](70718080)
Sep 13, 2024 10:55:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
228893066 loops (534751/sec), 1216019862 sampling steps, 157338538 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
71554528 component updates, 429327168 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](71554528)
Sep 13, 2024 10:55:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
231574566 loops (536300/sec), 1230266768 sampling steps, 159180632 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
72393934 component updates, 434363604 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](72393934)
Sep 13, 2024 10:55:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
234266468 loops (538380/sec), 1244566881 sampling steps, 161031931 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
73234537 component updates, 439407222 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](73234537)
Sep 13, 2024 10:55:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
236959520 loops (538610/sec), 1258874406 sampling steps, 162882718 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
74076802 component updates, 444460812 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](74076802)
Sep 13, 2024 10:55:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
239656259 loops (539347/sec), 1273200337 sampling steps, 164737221 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
74919038 component updates, 449514228 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](74919038)
Sep 13, 2024 10:55:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
242350058 loops (538759/sec), 1287510344 sampling steps, 166590008 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
75760050 component updates, 454560300 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](75760050)
Sep 13, 2024 10:55:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
245042521 loops (538492/sec), 1301814176 sampling steps, 168440954 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
76601567 component updates, 459609402 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](76601567)
Sep 13, 2024 10:55:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
247739122 loops (539320/sec), 1316139023 sampling steps, 170295713 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
77443409 component updates, 464660454 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](77443409)
Sep 13, 2024 10:55:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
250441693 loops (540514/sec), 1330495922 sampling steps, 172154240 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
78287453 component updates, 469724718 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](78287453)
Sep 13, 2024 10:55:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
253131810 loops (538023/sec), 1344787134 sampling steps, 174003730 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
79128080 component updates, 474768480 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](79128080)
Sep 13, 2024 10:55:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
255828195 loops (539277/sec), 1359112478 sampling steps, 175856696 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
79971499 component updates, 479828994 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](79971499)
Sep 13, 2024 10:56:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
258490393 loops (532439/sec), 1373256404 sampling steps, 177685958 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
80804435 component updates, 484826610 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](80804435)
Sep 13, 2024 10:56:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
261168102 loops (535541/sec), 1387480172 sampling steps, 179528444 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
81639658 component updates, 489837948 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](81639658)
Sep 13, 2024 10:56:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
263844882 loops (535356/sec), 1401700464 sampling steps, 181368832 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
82476050 component updates, 494856300 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](82476050)
Sep 13, 2024 10:56:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
266537007 loops (538425/sec), 1416003036 sampling steps, 183219010 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
83317997 component updates, 499907982 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](83317997)
Sep 13, 2024 10:56:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
269228283 loops (538255/sec), 1430299784 sampling steps, 185069918 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
84158365 component updates, 504950190 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](84158365)
Sep 13, 2024 10:56:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
271925465 loops (539436/sec), 1444627870 sampling steps, 186924924 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
85000541 component updates, 510003246 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](85000541)
Sep 13, 2024 10:56:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
274607962 loops (536499/sec), 1458877921 sampling steps, 188769855 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
85838107 component updates, 515028642 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](85838107)
Sep 13, 2024 10:56:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
277322517 loops (542911/sec), 1473300057 sampling steps, 190635049 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
86687468 component updates, 520124808 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](86687468)
Sep 13, 2024 10:56:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
280037314 loops (542959/sec), 1487722736 sampling steps, 192501152 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
87536162 component updates, 525216972 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](87536162)
Sep 13, 2024 10:56:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
282769070 loops (546351/sec), 1502235765 sampling steps, 194378659 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
88390411 component updates, 530342466 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](88390411)
Sep 13, 2024 10:56:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
285498256 loops (545837/sec), 1516733847 sampling steps, 196255693 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
89242563 component updates, 535455378 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](89242563)
Sep 13, 2024 10:56:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
288232150 loops (546778/sec), 1531258039 sampling steps, 198134865 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
90097285 component updates, 540583710 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](90097285)
Sep 13, 2024 10:57:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
290919250 loops (537420/sec), 1545532810 sampling steps, 199982694 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
90936556 component updates, 545619336 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](90936556)
Sep 13, 2024 10:57:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
293628413 loops (541832/sec), 1559925574 sampling steps, 201844908 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
91783505 component updates, 550701030 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](91783505)
Sep 13, 2024 10:57:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
296332252 loops (540767/sec), 1574291844 sampling steps, 203701672 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
92630580 component updates, 555783480 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](92630580)
Sep 13, 2024 10:57:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
299043145 loops (542178/sec), 1588693343 sampling steps, 205565531 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
93477614 component updates, 560865684 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](93477614)
Sep 13, 2024 10:57:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
301756569 loops (542684/sec), 1603109992 sampling steps, 207429426 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
94327143 component updates, 565962858 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](94327143)
Sep 13, 2024 10:57:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
304487305 loops (546147/sec), 1617617357 sampling steps, 209306477 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
95180828 component updates, 571084968 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](95180828)
Sep 13, 2024 10:57:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
307214460 loops (545431/sec), 1632105039 sampling steps, 211181725 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
96032735 component updates, 576196410 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](96032735)
Sep 13, 2024 10:57:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
309950529 loops (547213/sec), 1646641844 sampling steps, 213061334 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
96889195 component updates, 581335170 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](96889195)
Sep 13, 2024 10:57:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
312680158 loops (545925/sec), 1661143177 sampling steps, 214937775 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
97742383 component updates, 586454298 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](97742383)
Sep 13, 2024 10:57:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
315441879 loops (552344/sec), 1675814752 sampling steps, 216836526 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
98605353 component updates, 591632118 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](98605353)
Sep 13, 2024 10:57:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
318170031 loops (545630/sec), 1690308467 sampling steps, 218711723 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
99458308 component updates, 596749848 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](99458308)
Sep 13, 2024 10:57:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
320932583 loops (552510/sec), 1704984050 sampling steps, 220611452 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
100321131 component updates, 601926786 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](100321131)
Sep 13, 2024 10:58:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
323685606 loops (550604/sec), 1719608940 sampling steps, 222504700 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
101180906 component updates, 607085436 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](101180906)
Sep 13, 2024 10:58:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
326436940 loops (550266/sec), 1734224116 sampling steps, 224397528 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
102039412 component updates, 612236472 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](102039412)
Sep 13, 2024 10:58:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
329188601 loops (550332/sec), 1748842371 sampling steps, 226289239 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
102899362 component updates, 617396172 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](102899362)
Sep 13, 2024 10:58:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
331941791 loops (550638/sec), 1763469093 sampling steps, 228181657 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
103760134 component updates, 622560804 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](103760134)
Sep 13, 2024 10:58:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
334699684 loops (551578/sec), 1778120024 sampling steps, 230078084 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
104621600 component updates, 627729600 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](104621600)
Sep 13, 2024 10:58:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
337460956 loops (552254/sec), 1792789772 sampling steps, 231975968 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
105484988 component updates, 632909928 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](105484988)
Sep 13, 2024 10:58:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
340218570 loops (551522/sec), 1807440582 sampling steps, 233870842 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
106347728 component updates, 638086368 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](106347728)
Sep 13, 2024 10:58:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
342981970 loops (552680/sec), 1822121863 sampling steps, 235769961 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
107212009 component updates, 643272054 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](107212009)
Sep 13, 2024 10:58:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
345746143 loops (552834/sec), 1836806739 sampling steps, 237670123 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
108076020 component updates, 648456120 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](108076020)
Sep 13, 2024 10:58:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
348512645 loops (553300/sec), 1851503739 sampling steps, 239572135 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
108940510 component updates, 653643060 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](108940510)
Sep 13, 2024 10:58:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
351274472 loops (552365/sec), 1866175929 sampling steps, 241470907 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
109803565 component updates, 658821390 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](109803565)
Sep 13, 2024 10:58:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
354036690 loops (552443/sec), 1880848863 sampling steps, 243371281 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
110665409 component updates, 663992454 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](110665409)
Sep 13, 2024 10:59:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
356793347 loops (551331/sec), 1895493862 sampling steps, 245266224 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
111527123 component updates, 669162738 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](111527123)
Sep 13, 2024 10:59:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
359544048 loops (550140/sec), 1910105773 sampling steps, 247158519 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
112385529 component updates, 674313174 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](112385529)
Sep 13, 2024 10:59:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
362304015 loops (551993/sec), 1924769106 sampling steps, 249054988 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
113249027 component updates, 679494162 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](113249027)
Sep 13, 2024 10:59:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
365071208 loops (553438/sec), 1939469292 sampling steps, 250957960 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
114113248 component updates, 684679488 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](114113248)
Sep 13, 2024 10:59:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
367835057 loops (552769/sec), 1954153213 sampling steps, 252857133 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
114977924 component updates, 689867544 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](114977924)
Sep 13, 2024 10:59:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
370604939 loops (553976/sec), 1968868506 sampling steps, 254761132 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
115843807 component updates, 695062842 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](115843807)
Sep 13, 2024 10:59:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
373366005 loops (552213/sec), 1983536932 sampling steps, 256659102 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
116706903 component updates, 700241418 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](116706903)
Sep 13, 2024 10:59:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
376130932 loops (552985/sec), 1998224279 sampling steps, 258561317 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
117569615 component updates, 705417690 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](117569615)
Sep 13, 2024 10:59:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
378897210 loops (553255/sec), 2012919511 sampling steps, 260463753 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
118433457 component updates, 710600742 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](118433457)
Sep 13, 2024 10:59:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
381664057 loops (553369/sec), 2027617106 sampling steps, 262367240 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
119296817 component updates, 715780902 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](119296817)
Sep 13, 2024 10:59:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
384431476 loops (553483/sec), 2042319627 sampling steps, 264269233 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
120162243 component updates, 720973458 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](120162243)
Sep 13, 2024 10:59:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
387197297 loops (553164/sec), 2057012188 sampling steps, 266171598 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
121025699 component updates, 726154194 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](121025699)
Sep 13, 2024 11:00:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
389946427 loops (549826/sec), 2071616995 sampling steps, 268061571 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
121884856 component updates, 731309136 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](121884856)
Sep 13, 2024 11:00:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
392692247 loops (549164/sec), 2086205675 sampling steps, 269947811 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
122744436 component updates, 736466616 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](122744436)
Sep 13, 2024 11:00:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
395449033 loops (551357/sec), 2100851495 sampling steps, 271842707 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
123606326 component updates, 741637956 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](123606326)
Sep 13, 2024 11:00:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
398213002 loops (552793/sec), 2115535974 sampling steps, 273742042 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
124470960 component updates, 746825760 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](124470960)
Sep 13, 2024 11:00:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
400979186 loops (553236/sec), 2130230394 sampling steps, 275644726 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
125334460 component updates, 752006760 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](125334460)
Sep 13, 2024 11:00:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
403748544 loops (553871/sec), 2144942086 sampling steps, 277549182 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
126199362 component updates, 757196172 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](126199362)
Sep 13, 2024 11:00:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
406512217 loops (552734/sec), 2159622554 sampling steps, 279450752 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
127061465 component updates, 762368790 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](127061465)
Sep 13, 2024 11:00:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
409281348 loops (553826/sec), 2174332662 sampling steps, 281355430 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
127925918 component updates, 767555508 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](127925918)
Sep 13, 2024 11:00:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
412052264 loops (554183/sec), 2189054189 sampling steps, 283259399 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
128792865 component updates, 772757190 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](128792865)
Sep 13, 2024 11:00:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
414813753 loops (552297/sec), 2203725369 sampling steps, 285157153 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
129656600 component updates, 777939600 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](129656600)
Sep 13, 2024 11:00:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
417578348 loops (552919/sec), 2218413766 sampling steps, 287056326 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
130522022 component updates, 783132132 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](130522022)
Sep 13, 2024 11:00:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
420346434 loops (553617/sec), 2233119228 sampling steps, 288959380 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
131387054 component updates, 788322324 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](131387054)
Sep 13, 2024 11:01:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
423105476 loops (551808/sec), 2247777935 sampling steps, 290854925 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
132250551 component updates, 793503306 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](132250551)
Sep 13, 2024 11:01:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
425850585 loops (549021/sec), 2262361844 sampling steps, 292741670 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
133108915 component updates, 798653490 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](133108915)
Sep 13, 2024 11:01:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
428605970 loops (551077/sec), 2276998890 sampling steps, 294636934 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
133969036 component updates, 803814216 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](133969036)
Sep 13, 2024 11:01:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
431372484 loops (553302/sec), 2291696227 sampling steps, 296538681 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
134833803 component updates, 809002818 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](134833803)
Sep 13, 2024 11:01:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
434133327 loops (552168/sec), 2306362927 sampling steps, 298437039 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
135696288 component updates, 814177728 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](135696288)
Sep 13, 2024 11:01:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
436904121 loops (554158/sec), 2321083930 sampling steps, 300340800 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
136563321 component updates, 819379926 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](136563321)
Sep 13, 2024 11:01:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
439671151 loops (553406/sec), 2335782312 sampling steps, 302244598 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
137426553 component updates, 824559318 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](137426553)
Sep 13, 2024 11:01:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
442437779 loops (553325/sec), 2350481077 sampling steps, 304145601 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
138292178 component updates, 829753068 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](138292178)
Sep 13, 2024 11:01:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
445205520 loops (553548/sec), 2365185983 sampling steps, 306047141 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
139158379 component updates, 834950274 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](139158379)
Sep 13, 2024 11:01:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
447970770 loops (553050/sec), 2379877156 sampling steps, 307947468 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
140023302 component updates, 840139812 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](140023302)
Sep 13, 2024 11:01:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
450736243 loops (553094/sec), 2394567516 sampling steps, 309849946 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
140886297 component updates, 845317782 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](140886297)
Sep 13, 2024 11:01:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
453504408 loops (553633/sec), 2409272972 sampling steps, 311753480 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
141750928 component updates, 850505568 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](141750928)
Sep 13, 2024 11:02:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
456256617 loops (550441/sec), 2423894648 sampling steps, 313645058 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
142611559 component updates, 855669354 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](142611559)
Sep 13, 2024 11:02:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
459003873 loops (549451/sec), 2438490021 sampling steps, 315533221 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
143470652 component updates, 860823912 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](143470652)
Sep 13, 2024 11:02:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
461753814 loops (549988/sec), 2453099710 sampling steps, 317423178 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
144330636 component updates, 865983816 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](144330636)
Sep 13, 2024 11:02:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
464517631 loops (552763/sec), 2467783832 sampling steps, 319321958 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
145195673 component updates, 871174038 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](145195673)
Sep 13, 2024 11:02:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
467282059 loops (552885/sec), 2482469845 sampling steps, 321222513 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
146059546 component updates, 876357276 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](146059546)
Sep 13, 2024 11:02:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
470053801 loops (554348/sec), 2497196426 sampling steps, 323126384 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
146927417 component updates, 881564502 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](146927417)
Sep 13, 2024 11:02:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
472819190 loops (553077/sec), 2511888056 sampling steps, 325027088 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
147792102 component updates, 886752612 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](147792102)
Sep 13, 2024 11:02:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
475590127 loops (554187/sec), 2526608314 sampling steps, 326932452 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
148657675 component updates, 891946050 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](148657675)
Sep 13, 2024 11:02:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
478359606 loops (553895/sec), 2541321827 sampling steps, 328835813 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
149523793 component updates, 897142758 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](149523793)
Sep 13, 2024 11:02:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
481129421 loops (553963/sec), 2556035654 sampling steps, 330740876 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
150388545 component updates, 902331270 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](150388545)
Sep 13, 2024 11:02:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
483897043 loops (553524/sec), 2570737999 sampling steps, 332644263 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
151252780 component updates, 907516680 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](151252780)
Sep 13, 2024 11:02:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
486670020 loops (554595/sec), 2585469887 sampling steps, 334550237 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
152119783 component updates, 912718698 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](152119783)
Sep 13, 2024 11:03:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
489428645 loops (551725/sec), 2600124437 sampling steps, 336447437 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
152981208 component updates, 917887248 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](152981208)
Sep 13, 2024 11:03:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
492176689 loops (549608/sec), 2614724683 sampling steps, 338335455 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
153841234 component updates, 923047404 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](153841234)
Sep 13, 2024 11:03:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
494934479 loops (551558/sec), 2629375222 sampling steps, 340231656 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
154702823 component updates, 928216938 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](154702823)
Sep 13, 2024 11:03:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
497700446 loops (553193/sec), 2644069052 sampling steps, 342133628 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
155566818 component updates, 933400908 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](155566818)
Sep 13, 2024 11:03:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
500465623 loops (553035/sec), 2658758969 sampling steps, 344034773 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
156430850 component updates, 938585100 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](156430850)
Sep 13, 2024 11:03:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
503231396 loops (553154/sec), 2673452389 sampling steps, 345935991 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
157295405 component updates, 943772430 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](157295405)
Sep 13, 2024 11:03:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
505999422 loops (553605/sec), 2688156261 sampling steps, 347840275 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
158159147 component updates, 948954882 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](158159147)
Sep 13, 2024 11:03:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
508768569 loops (553829/sec), 2702867847 sampling steps, 349743571 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
159024998 component updates, 954149988 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](159024998)
Sep 13, 2024 11:03:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
511533313 loops (552948/sec), 2717555161 sampling steps, 351644721 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
159888592 component updates, 959331552 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](159888592)
Sep 13, 2024 11:03:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
514307613 loops (554860/sec), 2732292948 sampling steps, 353552734 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
160754879 component updates, 964529274 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](160754879)
Sep 13, 2024 11:03:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
517076323 loops (553742/sec), 2747002074 sampling steps, 355455868 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
161620455 component updates, 969722730 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](161620455)
Sep 13, 2024 11:03:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
519843327 loops (553400/sec), 2761700662 sampling steps, 357359304 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
162484023 component updates, 974904138 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](162484023)
Sep 13, 2024 11:04:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
522604094 loops (552153/sec), 2776366208 sampling steps, 359258360 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
163345734 component updates, 980074404 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](163345734)
Sep 13, 2024 11:04:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
525357190 loops (550619/sec), 2790992041 sampling steps, 361151103 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
164206087 component updates, 985236522 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](164206087)
Sep 13, 2024 11:04:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
528117078 loops (551977/sec), 2805653822 sampling steps, 363048650 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
165068428 component updates, 990410568 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](165068428)
Sep 13, 2024 11:04:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
530884102 loops (553404/sec), 2820354163 sampling steps, 364950453 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
165933649 component updates, 995601894 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](165933649)
Sep 13, 2024 11:04:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
533651289 loops (553437/sec), 2835055173 sampling steps, 366852565 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
166798724 component updates, 1000792344 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](166798724)
Sep 13, 2024 11:04:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
536419866 loops (553715/sec), 2849763326 sampling steps, 368755874 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
167663992 component updates, 1005983952 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](167663992)
Sep 13, 2024 11:04:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
539182938 loops (552614/sec), 2864443152 sampling steps, 370654480 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
168528458 component updates, 1011170748 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](168528458)
Sep 13, 2024 11:04:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
541946229 loops (552658/sec), 2879123938 sampling steps, 372553440 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
169392789 component updates, 1016356734 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](169392789)
Sep 13, 2024 11:04:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
544711582 loops (553070/sec), 2893815171 sampling steps, 374454325 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
170257257 component updates, 1021543542 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](170257257)
Sep 13, 2024 11:04:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
547480030 loops (553689/sec), 2908522110 sampling steps, 376358074 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
171121956 component updates, 1026731736 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](171121956)
Sep 13, 2024 11:04:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
550248451 loops (553684/sec), 2923230867 sampling steps, 378259843 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
171988608 component updates, 1031931648 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](171988608)
Sep 13, 2024 11:04:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
553016040 loops (553517/sec), 2937935918 sampling steps, 380160326 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
172855714 component updates, 1037134284 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](172855714)
Sep 13, 2024 11:05:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
555773969 loops (551585/sec), 2952587458 sampling steps, 382056360 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
173717609 component updates, 1042305654 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](173717609)
Sep 13, 2024 11:05:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
558523203 loops (549846/sec), 2967192800 sampling steps, 383946422 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
174576781 component updates, 1047460686 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](174576781)
Sep 13, 2024 11:05:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
561277713 loops (550902/sec), 2981825632 sampling steps, 385840650 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
175437063 component updates, 1052622378 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](175437063)
Sep 13, 2024 11:05:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
564048067 loops (554070/sec), 2996543113 sampling steps, 387745293 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
176302774 component updates, 1057816644 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](176302774)
Sep 13, 2024 11:05:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
566817502 loops (553887/sec), 3011256690 sampling steps, 389648326 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
177169176 component updates, 1063015056 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](177169176)
Sep 13, 2024 11:05:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
569588069 loops (554113/sec), 3025974732 sampling steps, 391553686 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
178034383 component updates, 1068206298 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](178034383)
Sep 13, 2024 11:05:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
572348774 loops (552141/sec), 3040640140 sampling steps, 393452508 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
178896266 component updates, 1073377596 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](178896266)
Sep 13, 2024 11:05:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
575113036 loops (552852/sec), 3055324885 sampling steps, 395353335 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
179759701 component updates, 1078558206 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](179759701)
Sep 13, 2024 11:05:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
577880370 loops (553466/sec), 3070025539 sampling steps, 397256685 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
180623685 component updates, 1083742110 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](180623685)
Sep 13, 2024 11:05:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
580644132 loops (552752/sec), 3084708736 sampling steps, 399156060 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
181488072 component updates, 1088928432 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](181488072)
Sep 13, 2024 11:05:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
583409395 loops (553052/sec), 3099398942 sampling steps, 401057432 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
182351963 component updates, 1094111778 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](182351963)
Sep 13, 2024 11:05:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
586180233 loops (554167/sec), 3114119318 sampling steps, 402962084 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
183218149 component updates, 1099308894 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](183218149)
Sep 13, 2024 11:06:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
588941254 loops (552204/sec), 3128786306 sampling steps, 404861222 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
184080032 component updates, 1104480192 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](184080032)
Sep 13, 2024 11:06:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
591690043 loops (549757/sec), 3143388617 sampling steps, 406751645 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
184938398 component updates, 1109630388 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](184938398)
Sep 13, 2024 11:06:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
594444495 loops (550890/sec), 3158021825 sampling steps, 408645149 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
185799346 component updates, 1114796076 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](185799346)
Sep 13, 2024 11:06:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
597210885 loops (553278/sec), 3172717623 sampling steps, 410547691 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
186663194 component updates, 1119979164 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](186663194)
Sep 13, 2024 11:06:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
599974042 loops (552631/sec), 3187396485 sampling steps, 412447771 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
187526271 component updates, 1125157626 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](187526271)
Sep 13, 2024 11:06:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
602737984 loops (552788/sec), 3202080140 sampling steps, 414347768 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
188390216 component updates, 1130341296 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](188390216)
Sep 13, 2024 11:06:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
605512020 loops (554807/sec), 3216816462 sampling steps, 416255662 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
189256358 component updates, 1135538148 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](189256358)
Sep 13, 2024 11:06:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
608281427 loops (553881/sec), 3231530499 sampling steps, 418158067 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
190123360 component updates, 1140740160 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](190123360)
Sep 13, 2024 11:06:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
611048846 loops (553483/sec), 3246231333 sampling steps, 420061747 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
190987099 component updates, 1145922594 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](190987099)
Sep 13, 2024 11:06:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
613814149 loops (553060/sec), 3260922666 sampling steps, 421962232 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
191851917 component updates, 1151111502 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](191851917)
Sep 13, 2024 11:06:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
616576312 loops (552432/sec), 3275595989 sampling steps, 423861887 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
192714425 component updates, 1156286550 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](192714425)
Sep 13, 2024 11:06:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
619338599 loops (552457/sec), 3290270333 sampling steps, 425761265 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
193577334 component updates, 1161464004 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](193577334)
Sep 13, 2024 11:07:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
622095625 loops (551405/sec), 3304917311 sampling steps, 427656443 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
194439182 component updates, 1166635092 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](194439182)
Sep 13, 2024 11:07:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
624844656 loops (549806/sec), 3319520456 sampling steps, 429547484 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
195297172 component updates, 1171783032 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](195297172)
Sep 13, 2024 11:07:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
627600501 loops (551169/sec), 3334161891 sampling steps, 431441119 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
196159382 component updates, 1176956292 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](196159382)
Sep 13, 2024 11:07:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
630368210 loops (553541/sec), 3348865517 sampling steps, 433343747 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
197024463 component updates, 1182146778 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](197024463)
Sep 13, 2024 11:07:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
633133638 loops (553085/sec), 3363556784 sampling steps, 435245048 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
197888590 component updates, 1187331540 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](197888590)
Sep 13, 2024 11:07:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
635899190 loops (553110/sec), 3378248248 sampling steps, 437146896 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
198752294 component updates, 1192513764 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](198752294)
Sep 13, 2024 11:07:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
638662590 loops (552680/sec), 3392929547 sampling steps, 439045997 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
199616593 component updates, 1197699558 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](199616593)
Sep 13, 2024 11:07:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
641431672 loops (553816/sec), 3407640472 sampling steps, 440949564 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
200482108 component updates, 1202892648 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](200482108)
Sep 13, 2024 11:07:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
644196108 loops (552887/sec), 3422326871 sampling steps, 442849781 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
201346327 component updates, 1208077962 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](201346327)
Sep 13, 2024 11:07:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
646963434 loops (553465/sec), 3437028500 sampling steps, 444752108 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
202211326 component updates, 1213267956 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](202211326)
Sep 13, 2024 11:07:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
649728393 loops (552991/sec), 3451718542 sampling steps, 446651820 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
203076573 component updates, 1218459438 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](203076573)
Sep 13, 2024 11:07:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
652497552 loops (553831/sec), 3466429103 sampling steps, 448556213 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
203941339 component updates, 1223648034 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](203941339)
Sep 13, 2024 11:08:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
655257209 loops (551931/sec), 3481089812 sampling steps, 450453446 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
204803763 component updates, 1228822578 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](204803763)
Sep 13, 2024 11:08:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
658007198 loops (549997/sec), 3495699484 sampling steps, 452343708 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
205663490 component updates, 1233980940 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](205663490)
Sep 13, 2024 11:08:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
660760620 loops (550684/sec), 3510327770 sampling steps, 454235954 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
206524666 component updates, 1239147996 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](206524666)
Sep 13, 2024 11:08:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
663523157 loops (552507/sec), 3525003948 sampling steps, 456134998 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
207388159 component updates, 1244328954 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](207388159)
Sep 13, 2024 11:08:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
666291577 loops (553684/sec), 3539712024 sampling steps, 458037442 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
208254135 component updates, 1249524810 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](208254135)
Sep 13, 2024 11:08:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
669054369 loops (552558/sec), 3554389850 sampling steps, 459936368 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
209118001 component updates, 1254708006 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](209118001)
Sep 13, 2024 11:08:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
671827129 loops (554552/sec), 3569120857 sampling steps, 461841921 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
209985208 component updates, 1259911248 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](209985208)
Sep 13, 2024 11:08:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
674596511 loops (553876/sec), 3583833846 sampling steps, 463745224 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
210851287 component updates, 1265107722 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](210851287)
Sep 13, 2024 11:08:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
677366966 loops (554091/sec), 3598551500 sampling steps, 465650300 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
211716666 component updates, 1270299996 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](211716666)
Sep 13, 2024 11:08:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
680134681 loops (553543/sec), 3613256530 sampling steps, 467551560 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
212583121 component updates, 1275498726 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](212583121)
Sep 13, 2024 11:08:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
682899243 loops (552912/sec), 3627943502 sampling steps, 469451960 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
213447283 component updates, 1280683698 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](213447283)
Sep 13, 2024 11:08:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
685668762 loops (553903/sec), 3642657683 sampling steps, 471354893 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
214313869 component updates, 1285883214 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](214313869)
Sep 13, 2024 11:09:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
688423721 loops (550991/sec), 3657292065 sampling steps, 473250265 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
215173456 component updates, 1291040736 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](215173456)
Sep 13, 2024 11:09:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
691173456 loops (549947/sec), 3671900484 sampling steps, 475140256 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
216033200 component updates, 1296199200 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](216033200)
Sep 13, 2024 11:09:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
693926234 loops (550555/sec), 3686524478 sampling steps, 477032930 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
216893304 component updates, 1301359824 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](216893304)
Sep 13, 2024 11:09:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
696690096 loops (552772/sec), 3701207437 sampling steps, 478933143 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
217756953 component updates, 1306541718 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](217756953)
Sep 13, 2024 11:09:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
699457315 loops (553443/sec), 3715907921 sampling steps, 480835973 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
218621342 component updates, 1311728052 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](218621342)
Sep 13, 2024 11:09:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
702224953 loops (553527/sec), 3730611943 sampling steps, 482737779 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
219487174 component updates, 1316923044 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](219487174)
Sep 13, 2024 11:09:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
704991872 loops (553383/sec), 3745312071 sampling steps, 484639165 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
220352707 component updates, 1322116242 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](220352707)
Sep 13, 2024 11:09:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
707759788 loops (553583/sec), 3760017394 sampling steps, 486541338 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
221218450 component updates, 1327310700 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](221218450)
Sep 13, 2024 11:09:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
710522411 loops (552524/sec), 3774693718 sampling steps, 488440752 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
222081659 component updates, 1332489954 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](222081659)
Sep 13, 2024 11:09:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
713272588 loops (550035/sec), 3789304184 sampling steps, 490331348 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
222941240 component updates, 1337647440 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](222941240)
Sep 13, 2024 11:09:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
716037983 loops (553079/sec), 3803995177 sampling steps, 492232725 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
223805258 component updates, 1342831548 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](223805258)
Sep 13, 2024 11:09:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
718796200 loops (551643/sec), 3818646173 sampling steps, 494131031 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
224665169 component updates, 1347991014 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](224665169)
Sep 13, 2024 11:10:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
721528249 loops (546409/sec), 3833160709 sampling steps, 496008789 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
225519460 component updates, 1353116760 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](225519460)
Sep 13, 2024 11:10:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
724273417 loops (549033/sec), 3847745216 sampling steps, 497895290 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
226378127 component updates, 1358268762 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](226378127)
Sep 13, 2024 11:10:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
727024481 loops (550212/sec), 3862360395 sampling steps, 499786495 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
227237986 component updates, 1363427916 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](227237986)
Sep 13, 2024 11:10:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
729789433 loops (552990/sec), 3877049378 sampling steps, 501687224 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
228102209 component updates, 1368613254 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](228102209)
Sep 13, 2024 11:10:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
732557809 loops (553675/sec), 3891757522 sampling steps, 503589336 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
228968473 component updates, 1373810838 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](228968473)
Sep 13, 2024 11:10:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
735325029 loops (553444/sec), 3906457761 sampling steps, 505492417 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
229832612 component updates, 1378995672 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](229832612)
Sep 13, 2024 11:10:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
738091786 loops (553351/sec), 3921155834 sampling steps, 507394886 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
230696900 component updates, 1384181400 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](230696900)
Sep 13, 2024 11:10:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
740854668 loops (552576/sec), 3935835322 sampling steps, 509292690 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
231561978 component updates, 1389371868 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](231561978)
Sep 13, 2024 11:10:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
743619752 loops (553016/sec), 3950525571 sampling steps, 511192945 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
232426807 component updates, 1394560842 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](232426807)
Sep 13, 2024 11:10:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
746389847 loops (554019/sec), 3965241456 sampling steps, 513097630 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
233292217 component updates, 1399753302 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](233292217)
Sep 13, 2024 11:10:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
749151217 loops (552274/sec), 3979912494 sampling steps, 514994812 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
234156405 component updates, 1404938430 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](234156405)
Sep 13, 2024 11:10:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
751920801 loops (553916/sec), 3994624398 sampling steps, 516900412 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
235020389 component updates, 1410122334 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](235020389)
Sep 13, 2024 11:11:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
754678768 loops (551593/sec), 4009276111 sampling steps, 518796501 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
235882267 component updates, 1415293602 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](235882267)
Sep 13, 2024 11:11:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
757425402 loops (549326/sec), 4023867410 sampling steps, 520685006 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
236740396 component updates, 1420442376 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](236740396)
Sep 13, 2024 11:11:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
760185502 loops (552020/sec), 4038530247 sampling steps, 522582769 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
237602733 component updates, 1425616398 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](237602733)
Sep 13, 2024 11:11:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
762952153 loops (553330/sec), 4053229184 sampling steps, 524483738 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
238468415 component updates, 1430810490 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](238468415)
Sep 13, 2024 11:11:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
765720071 loops (553583/sec), 4067933595 sampling steps, 526386835 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
239333236 component updates, 1435999416 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](239333236)
Sep 13, 2024 11:11:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
768488585 loops (553702/sec), 4082640962 sampling steps, 528290552 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
240198033 component updates, 1441188198 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](240198033)
Sep 13, 2024 11:11:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
771250431 loops (552369/sec), 4097311902 sampling steps, 530190688 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
241059743 component updates, 1446358458 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](241059743)
Sep 13, 2024 11:11:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
774016536 loops (553221/sec), 4112007485 sampling steps, 532091735 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
241924801 component updates, 1451548806 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](241924801)
Sep 13, 2024 11:11:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
776783410 loops (553374/sec), 4126706046 sampling steps, 533994418 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
242788992 component updates, 1456733952 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](242788992)
Sep 13, 2024 11:11:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
779549860 loops (553290/sec), 4141403147 sampling steps, 535896017 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
243653843 component updates, 1461923058 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](243653843)
Sep 13, 2024 11:11:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
782317452 loops (553518/sec), 4156104826 sampling steps, 537799890 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
244517562 component updates, 1467105372 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](244517562)
Sep 13, 2024 11:11:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
785079480 loops (552405/sec), 4170778877 sampling steps, 539698007 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
245381473 component updates, 1472288838 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](245381473)
Sep 13, 2024 11:12:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
787831951 loops (550494/sec), 4185401617 sampling steps, 541590093 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
246241858 component updates, 1477451148 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](246241858)
Sep 13, 2024 11:12:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
790580022 loops (549614/sec), 4200000900 sampling steps, 543479236 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
247100786 component updates, 1482604716 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](247100786)
Sep 13, 2024 11:12:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
793339633 loops (551922/sec), 4214660510 sampling steps, 545377292 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
247962341 component updates, 1487774046 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](247962341)
Sep 13, 2024 11:12:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
796108371 loops (553747/sec), 4229369572 sampling steps, 547280658 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
248827713 component updates, 1492966278 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](248827713)
Sep 13, 2024 11:12:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
798876698 loops (553665/sec), 4244075449 sampling steps, 549184743 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
249691955 component updates, 1498151730 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](249691955)
Sep 13, 2024 11:12:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
801644364 loops (553533/sec), 4258779841 sampling steps, 551086347 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
250558017 component updates, 1503348102 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](250558017)
Sep 13, 2024 11:12:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
804410975 loops (553322/sec), 4273477633 sampling steps, 552988221 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
251422754 component updates, 1508536524 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](251422754)
Sep 13, 2024 11:12:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
807176650 loops (553135/sec), 4288170159 sampling steps, 554889745 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
252286905 component updates, 1513721430 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](252286905)
Sep 13, 2024 11:12:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
809948111 loops (554292/sec), 4302892943 sampling steps, 556795727 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
253152384 component updates, 1518914304 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](253152384)
Sep 13, 2024 11:12:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
812712979 loops (552973/sec), 4317582685 sampling steps, 558695193 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
254017786 component updates, 1524106716 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](254017786)
Sep 13, 2024 11:12:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
815473351 loops (552074/sec), 4332248579 sampling steps, 560591531 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
254881820 component updates, 1529290920 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](254881820)
Sep 13, 2024 11:12:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
818238341 loops (552998/sec), 4346938757 sampling steps, 562491293 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
255747048 component updates, 1534482288 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](255747048)
Sep 13, 2024 11:13:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
820997140 loops (551759/sec), 4361594734 sampling steps, 564388110 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
256609030 component updates, 1539654180 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](256609030)
Sep 13, 2024 11:13:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
823746163 loops (549804/sec), 4376198326 sampling steps, 566278656 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
257467507 component updates, 1544805042 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](257467507)
Sep 13, 2024 11:13:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
826503290 loops (551425/sec), 4390844561 sampling steps, 568175183 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
258328107 component updates, 1549968642 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](258328107)
Sep 13, 2024 11:13:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
829271368 loops (553615/sec), 4405550337 sampling steps, 570077875 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
259193493 component updates, 1555160958 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](259193493)
Sep 13, 2024 11:13:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
832036495 loops (553025/sec), 4420239462 sampling steps, 571979512 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
260056983 component updates, 1560341898 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](260056983)
Sep 13, 2024 11:13:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
834804886 loops (553678/sec), 4434947304 sampling steps, 573882016 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
260922870 component updates, 1565537220 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](260922870)
Sep 13, 2024 11:13:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
837571122 loops (553247/sec), 4449642938 sampling steps, 575783798 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
261787324 component updates, 1570723944 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](261787324)
Sep 13, 2024 11:13:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
840341196 loops (554014/sec), 4464358611 sampling steps, 577688569 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
262652627 component updates, 1575915762 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](262652627)
Sep 13, 2024 11:13:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
843105149 loops (552790/sec), 4479042910 sampling steps, 579587988 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
263517161 component updates, 1581102966 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](263517161)
Sep 13, 2024 11:13:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
845873761 loops (553722/sec), 4493752143 sampling steps, 581490427 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
264383334 component updates, 1586300004 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](264383334)
Sep 13, 2024 11:13:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
848645765 loops (554400/sec), 4508477656 sampling steps, 583396938 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
265248827 component updates, 1591492962 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](265248827)
Sep 13, 2024 11:13:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
851410408 loops (552928/sec), 4523164209 sampling steps, 585298243 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
266112165 component updates, 1596672990 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](266112165)
Sep 13, 2024 11:14:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
854167027 loops (551323/sec), 4537809301 sampling steps, 587192865 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
266974162 component updates, 1601844972 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](266974162)
Sep 13, 2024 11:14:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
856911644 loops (548923/sec), 4552388847 sampling steps, 589081021 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
267830623 component updates, 1606983738 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](267830623)
Sep 13, 2024 11:14:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
859665038 loops (550678/sec), 4567015948 sampling steps, 590974284 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
268690754 component updates, 1612144524 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](268690754)
Sep 13, 2024 11:14:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
862438601 loops (554712/sec), 4581749916 sampling steps, 592881694 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
269556907 component updates, 1617341442 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](269556907)
Sep 13, 2024 11:14:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
865206607 loops (553601/sec), 4596455398 sampling steps, 594784248 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
270422359 component updates, 1622534154 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](270422359)
Sep 13, 2024 11:14:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
867972620 loops (553202/sec), 4611150984 sampling steps, 596684740 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
271287880 component updates, 1627727280 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](271287880)
Sep 13, 2024 11:14:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
870742946 loops (554065/sec), 4625868923 sampling steps, 598588757 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
272154189 component updates, 1632925134 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](272154189)
Sep 13, 2024 11:14:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
873516874 loops (554785/sec), 4640607012 sampling steps, 600494236 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
273022638 component updates, 1638135828 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](273022638)
Sep 13, 2024 11:14:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
876285512 loops (553727/sec), 4655315528 sampling steps, 602397548 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
273887964 component updates, 1643327784 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](273887964)
Sep 13, 2024 11:14:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
879054382 loops (553774/sec), 4670024971 sampling steps, 604301325 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
274753057 component updates, 1648518342 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](274753057)
Sep 13, 2024 11:14:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
881822717 loops (553667/sec), 4684732093 sampling steps, 606204213 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
275618504 component updates, 1653711024 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](275618504)
Sep 13, 2024 11:14:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
884588391 loops (553134/sec), 4699424809 sampling steps, 608105541 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
276482850 component updates, 1658897100 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](276482850)
Sep 13, 2024 11:15:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
887344499 loops (551221/sec), 4714067170 sampling steps, 609999828 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
277344671 component updates, 1664068026 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](277344671)
Sep 13, 2024 11:15:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
890089152 loops (548930/sec), 4728647707 sampling steps, 611887209 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
278201943 component updates, 1669211658 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](278201943)
Sep 13, 2024 11:15:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
892844323 loops (551034/sec), 4743285140 sampling steps, 613780802 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
279063521 component updates, 1674381126 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](279063521)
Sep 13, 2024 11:15:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
895613800 loops (553895/sec), 4757999254 sampling steps, 615683550 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
279930250 component updates, 1679581500 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](279930250)
Sep 13, 2024 11:15:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
898385001 loops (554240/sec), 4772720669 sampling steps, 617589341 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
280795660 component updates, 1684773960 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](280795660)
Sep 13, 2024 11:15:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
901156269 loops (554253/sec), 4787442133 sampling steps, 619495485 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
281660784 component updates, 1689964704 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](281660784)
Sep 13, 2024 11:15:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
903927717 loops (554289/sec), 4802165400 sampling steps, 621400906 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
282526811 component updates, 1695160866 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](282526811)
Sep 13, 2024 11:15:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
906695432 loops (553543/sec), 4816869607 sampling steps, 623302989 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
283392443 component updates, 1700354658 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](283392443)
Sep 13, 2024 11:15:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
909464136 loops (553740/sec), 4831578178 sampling steps, 625206642 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
284257494 component updates, 1705544964 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](284257494)
Sep 13, 2024 11:15:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
912227472 loops (552667/sec), 4846258278 sampling steps, 627106558 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
285120914 component updates, 1710725484 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](285120914)
Sep 13, 2024 11:15:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
914991056 loops (552716/sec), 4860939531 sampling steps, 629006809 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
285984247 component updates, 1715905482 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](285984247)
Sep 13, 2024 11:15:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
917755245 loops (552837/sec), 4875624516 sampling steps, 630906958 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
286848287 component updates, 1721089722 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](286848287)
Sep 13, 2024 11:16:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
920518908 loops (552732/sec), 4890306853 sampling steps, 632806599 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
287712309 component updates, 1726273854 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](287712309)
Sep 13, 2024 11:16:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
923267714 loops (549761/sec), 4904909368 sampling steps, 634696920 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
288570794 component updates, 1731424764 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](288570794)
Sep 13, 2024 11:16:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
926021519 loops (550761/sec), 4919539372 sampling steps, 636589746 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
289431773 component updates, 1736590638 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](289431773)
Sep 13, 2024 11:16:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
928787069 loops (553110/sec), 4934231738 sampling steps, 638490680 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
290296389 component updates, 1741778334 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](290296389)
Sep 13, 2024 11:16:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
931559345 loops (554455/sec), 4948957973 sampling steps, 640398101 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
291161244 component updates, 1746967464 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](291161244)
Sep 13, 2024 11:16:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
934331027 loops (554336/sec), 4963683684 sampling steps, 642302482 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
292028545 component updates, 1752171270 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](292028545)
Sep 13, 2024 11:16:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
937100956 loops (553985/sec), 4978400522 sampling steps, 644205218 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
292895738 component updates, 1757374428 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](292895738)
Sep 13, 2024 11:16:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
939870671 loops (553943/sec), 4993114196 sampling steps, 646109834 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
293760837 component updates, 1762565022 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](293760837)
Sep 13, 2024 11:16:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
942635190 loops (552903/sec), 5007801016 sampling steps, 648010128 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
294625062 component updates, 1767750372 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](294625062)
Sep 13, 2024 11:16:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
945406162 loops (554194/sec), 5022522224 sampling steps, 649914752 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
295491410 component updates, 1772948460 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](295491410)
Sep 13, 2024 11:16:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
948169293 loops (552626/sec), 5037199567 sampling steps, 651816195 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
296353098 component updates, 1778118588 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](296353098)
Sep 13, 2024 11:16:59 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
950938356 loops (553812/sec), 5051910296 sampling steps, 653719844 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
297218512 component updates, 1783311072 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](297218512)
Sep 13, 2024 11:17:04 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
953701606 loops (552650/sec), 5066588723 sampling steps, 655620917 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
298080689 component updates, 1788484134 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](298080689)
Sep 13, 2024 11:17:09 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
956446568 loops (548992/sec), 5081171062 sampling steps, 657508350 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
298938218 component updates, 1793629308 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](298938218)
Sep 13, 2024 11:17:14 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
959206602 loops (552006/sec), 5095834415 sampling steps, 659405201 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
299801401 component updates, 1798808406 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](299801401)
Sep 13, 2024 11:17:19 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
961975942 loops (553868/sec), 5110546509 sampling steps, 661309147 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
300666795 component updates, 1804000770 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](300666795)
Sep 13, 2024 11:17:24 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
964741633 loops (553138/sec), 5125239472 sampling steps, 663210330 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
301531303 component updates, 1809187818 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](301531303)
Sep 13, 2024 11:17:29 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
967509237 loops (553520/sec), 5139940461 sampling steps, 665114965 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
302394272 component updates, 1814365632 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](302394272)
Sep 13, 2024 11:17:34 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
970273768 loops (552906/sec), 5154626905 sampling steps, 667015707 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
303258061 component updates, 1819548366 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](303258061)
Sep 13, 2024 11:17:39 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
973048867 loops (555019/sec), 5169368521 sampling steps, 668924685 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
304124182 component updates, 1824745092 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](304124182)
Sep 13, 2024 11:17:44 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
975818221 loops (553870/sec), 5184081091 sampling steps, 670828239 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
304989982 component updates, 1829939892 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](304989982)
Sep 13, 2024 11:17:49 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
978587576 loops (553871/sec), 5198792392 sampling steps, 672733068 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
305854508 component updates, 1835127048 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](305854508)
Sep 13, 2024 11:17:54 AM stationary.StationaryDistributionEstimator logProgress
INFO: Progress Report:
981357233 loops (553931/sec), 5213505432 sampling steps, 674637970 aborted
loop condition 0.68750, exit probability 1.1000e-322 in initial state
141 explored states, 1 states in BSSCs (1 absorbing)
306719263 component updates, 1840315578 transient state updates
Bounds: [0.31250+6.87500e-01]@[0.00000](306719263)
----------
Computation aborted after 1800.005492925644 seconds since the total time limit of 1800.0 seconds was exceeded.