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

Emmanuel Zarpas

Abstract


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.

Keywords


satisfiability, benchmarking, performances, metrics, industrial problems

Full Text:

PDF

Refbacks

  • There are currently no refbacks.