Database reseted
Bench with the better detection system for wrong Coq versions