About benchmarks in N. Caniart's CAV 2010 paper

General remarks

Benchmarks details