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