[isabelle-dev] performance problems

[Lawrence Paulson]

What do you suggest for these on a 16 GB machine? I attach my file.
Larry

> On 7 Sep 2018, at 15:01, Makarius <makarius at 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.



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20180907/537651f1/attachment-0004.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Binomial_sol.thy
Type: application/octet-stream
Size: 10468 bytes
Desc: not available
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20180907/537651f1/attachment-0002.obj>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://mailman46.in.tum.de/pipermail/isabelle-dev/attachments/20180907/537651f1/attachment-0005.html>