Hi,

Christophe Leroy <christophe.le...@c-s.fr> writes:
> Benchmark from vdsotest:

I assume you also ran the verification/correctness parts of vdsotest...? :-)


Reply via email to