Back to the SAT05 Competition: an a Posteriori Analysis of Solver Performance on Industrial Benchmarks
Emmanuel Zarpas · Journal on Satisfiability Boolean Modeling and Computation · 2006
This paper analyzes the SAT05 solver competition on industrial instances. We carefully investigate the performance of solvers from the competition and demonstration categories. We also present details on solver performance per subsets of the benchmar