On 08/11/17 15:49, Lars Hupel wrote: >> I've been using --minheap 3000 --maxheap 30000 for that recently and it >> performs quite well (after months of not working at all). > > I'll try bumping the memory. Although the "months of not working" is not > quite correct, because it worked fine with 10 GB in 5.6.
The months refer to the intermediate state of the Poly/ML repository between stable 5.6 and the coming stable 5.7.1. I am very glad that we are back to a version that works, even better than before. See the timing charts here: http://isabelle.in.tum.de/devel/build_status/AFP_slow_64bit_6_threads/index.html#session_Iptables_Semantics_Examples_Big Makarius _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml