<div dir="auto">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...</div><div class="gmail_extra"><br><div class="gmail_quote">On 14 Mar 2017 8:05 pm, "Magnus Myreen" <<a href="mailto:magnus.myreen@gmail.com">magnus.myreen@gmail.com</a>> wrote:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Hi all,<br>
<br>
How much RAM is required or desirable for running CakeML regression tests?<br>
<br>
I know that 64 GB is enough. Can one run them in reasonable time with<br>
less? Does having more help at the moment?<br>
<br>
Cheers,<br>
Magnus<br>
<br>
______________________________<wbr>_________________<br>
Developers mailing list<br>
<a href="mailto:Developers@cakeml.org">Developers@cakeml.org</a><br>
<a href="https://lists.cakeml.org/listinfo/developers" rel="noreferrer" target="_blank">https://lists.cakeml.org/<wbr>listinfo/developers</a><br>
</blockquote></div></div>