[CakeML-dev] How much RAM?

Ramana Kumar Ramana.Kumar at cl.cam.ac.uk
Tue Mar 14 10:11:30 UTC 2017

I can sometimes do it with 8 but probably 16 is better. It does seem to
make things faster with more... I don't have any hard data on this...

On 14 Mar 2017 8:05 pm, "Magnus Myreen" <magnus.myreen at gmail.com> wrote:

> Hi all,
> How much RAM is required or desirable for running CakeML regression tests?
> I know that 64 GB is enough. Can one run them in reasonable time with
> less? Does having more help at the moment?
> Cheers,
> Magnus
> _______________________________________________
> Developers mailing list
> Developers at cakeml.org
> https://lists.cakeml.org/listinfo/developers
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.cakeml.org/pipermail/developers/attachments/20170314/453fa08e/attachment.html>

More information about the Developers mailing list