[abc] CARDINAL LOCKED FOR BENCHMARKS

Hi abc'ers,

I'm currently using Cardinal exclusively to take preliminary (and, after
that, repeated) benchmark measurements for the paper. Please do not use
it unless strictly necessary, to avoid invalidating benchmark results.
If in doubt, talk to me on IRC.

Thanks,
Pavel
Received on Wed Mar 08 15:54:00 2006