Hi,Christophe Leroy <christophe.leroy@c-s.fr> writes:> Benchmark from vdsotest:I assume you also ran the verification/correctness parts of vdsotest...? :-)