SAT collision checking at testing phase