On Tue, 18 Jan 2005, Diego Novillo wrote: > Steven Bosscher wrote: > >> Thoughts? >> > Well, given your analysis, disabling it is not a bad idea. OTOH, DSE doesn't > take a long time to run, does it? I don't think I've ever noticed it. It is roughly 1% of the time of 8361, or so i'm told.