Back to the SAT05 Competition: an a Posteriori Analysis of Solver Performance on Industrial Benchmarks