The Coq mailing list

[Frédéric Blanqui <frederic.blanqui AT inria.fr>]

Le 25/01/2016 11:15, Enrico Tassi a écrit :
> On Mon, Jan 25, 2016 at 11:08:33AM +0100, Frédéric Blanqui wrote:
> > j  |
> > --------------------
> > 1  | 27'00"
> > 3  | 10'47"
> > 20|   6'45"
> >
> > So, you can see that it is really important for me to use -j20...
> Can you try with a -j6 when you have a minute?
 with the current development version of color for coq 8.5, I get:

1:
real    29m24.930s
user    28m0.757s
sys    1m20.625s

3:
real    11m49.757s
user    25m58.461s
sys    1m11.717s

6:
real    9m33.979s
user    28m0.672s
sys    1m17.952s

20:

real    8m12.333s
user    32m43.505s
sys    1m43.168s


> Also, given that you mentioned it, do you have timings for
> "make quick -j20" and "make vio2vo J=20" ?
>
> Best,