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

Emmanuel Zarpas


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 benchmarks per contributor and on SAT versus UNSAT instances. Finally we give recommendations for next SAT competition.


satisfiability, benchmarking, performances, metrics, industrial problems

Full Text:



  • There are currently no refbacks.