[isabelle-dev] Formula_Derivatives FAILED: Cannot allocate memory

Lars Hupel hupel at in.tum.de
Mon Feb 22 10:17:30 CET 2016

> That suggests that you're running the 32-bit version of Poly/ML in which
> case the heap is limited to around 3-3.5G by the system and the problem
> you're having is the total 4G memory limit.  Switch to the 64-bit
> version as a starting point.  I was assuming that with 32G of memory you
> were running the 64-bit version already.

No, I initially planned to, but Makarius usually advises against it. I'm
not sure how to proceed here.


More information about the isabelle-dev mailing list