Re: [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 <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.

Binomial_sol.thy
Description: Binary data

_______________________________________________
isabelle-dev mailing list
isabelle-...@in.tum.de
https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev