Skip to Content.
Sympa Menu

coq-club - Re: [Coq-Club] Coq 8.5 is out!

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] Coq 8.5 is out!


Chronological Thread 
  • From: Frédéric Blanqui <frederic.blanqui AT inria.fr>
  • To: coq-club AT inria.fr
  • Subject: Re: [Coq-Club] Coq 8.5 is out!
  • Date: Mon, 25 Jan 2016 12:39:00 +0100



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,




Archive powered by MHonArc 2.6.18.

Top of Page