8 Nov
2017
8 Nov
'17
2:54 p.m.
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....
Makarius