On 29/01/2019 16:14, João Rafael Nicola wrote:
>
> I've been using Isabelle/2018 in x86 (32) mode on a Xeon E3-1505M
> (2.80GHz, 3.6Ghz turbo) 4-core, 64GB machine. Since I run frequently
> into timeouts while running sledgehammer, proof methods
> (metis,meson,etc.) or processing notation-heavy lo
Dear Isabelle developers,
I've been using Isabelle/2018 in x86 (32) mode on a Xeon E3-1505M (2.80GHz,
3.6Ghz turbo) 4-core, 64GB machine. Since I run frequently into timeouts
while running sledgehammer, proof methods (metis,meson,etc.) or processing
notation-heavy locales, I would like to know how