[isabelle-dev] Multicore timings

Lawrence Paulson lp15 at cam.ac.uk
Fri Jan 15 21:26:01 CET 2016


I do remember. It’s almost a shame how years of work can be executed in minutes.
Larry

> On 15 Jan 2016, at 19:16, Makarius <makarius at sketis.net> wrote:
> 
> The sessions from Bali to JinjaThreads are historically related; this used to be the top-end in resource usage until 1-2 years ago.  About 12 years ago, MicroJava was in the range of 1h.




More information about the isabelle-dev mailing list