On 07/09/18 17:39, Lawrence Paulson wrote:
> What do you suggest for these on a 16 GB machine? I attach my file.
> Larry
>
>> On 7 Sep 2018, at 15:01, Makarius <makar...@sketis.net
>> <mailto:makar...@sketis.net>> wrote:
>>
>> If you are using the 64-bit version of Poly/ML, you should give both
>> --minheap and --maxheap, otherwise it tends to overcommit a lot of memory.
I can't try it out, since theory "Explorer" is missing.
For 16 GB, I usually run Poly/ML in 32-bit mode, with --minheap 1500.
Makarius
_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
