An Analysis of SAT-Based Model Checking Techniques in an Industrial Environment