The Coq mailing list

[Pierre-Marie Pédrot <pierre-marie.pedrot AT inria.fr>]

On 10/06/2014 14:13, James Lingard wrote:
> I observed this behaviour in version 8.4pl2.  If anyone with a more
> recent version would be willing to try it out, my simple test script is
> attached.  I would be very happy to hear that it's been fixed.

It seems to be fixed in trunk:

n=1000; time=0.399 seconds
n=2000; time=0.499 seconds
n=4000; time=0.9 seconds
n=8000; time=1.73 seconds
n=16000; time=3.66 seconds
n=32000; time=7.61 seconds
n=64000; time=17.1 seconds

For the reference, I get this on 8.4:

n=1000; time=1.39 seconds
n=2000; time=0.36 seconds
n=4000; time=0.789 seconds
n=8000; time=2.25 seconds
n=16000; time=13.5 seconds
n=32000; time=64.2 seconds

No idea what fixed it though.

PMP

Attachment: signature.asc
Description: OpenPGP digital signature