[isabelle-dev] isabelle build timing

Lars Hupel hupel at in.tum.de
Mon Sep 4 13:18:37 CEST 2017

> The canonical build parameters for this machine appear to be:
>   isabelle build -j8 -o threads=6

I find this combination (8*6 = 48 threads) to be surprising, given that
that machine has only access to 22 physical (non-HT) cores. Judging from
your list below, this is the minimum number of threads you tried out
(for distribution only). Or am I reading the numbers wrong?

More information about the isabelle-dev mailing list