[isabelle-dev] Formula_Derivatives FAILED: Cannot allocate memory

[Lars Hupel]

> 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.

Cheers
Lars