论文信息 - Back to the SAT05 Competition: an a Posteriori Analysis of Solver Performance on Industrial Benchmarks

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

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.

Emmanuel Zarpas

[1] Emmanuel Zarpas,et al. Benchmarking SAT Solvers for Bounded Model Checking , 2005, SAT.

[2] Oliver Kullmann. The SAT 2005 Solver Competition on Random Instances , 2006, J. Satisf. Boolean Model. Comput..

[3] Armin Biere,et al. Symbolic Model Checking without BDDs , 1999, TACAS.

[4] Armin Biere,et al. Effective Preprocessing in SAT Through Variable and Clause Elimination , 2005, SAT.

[5] Marco Roveri,et al. Improved Decision Heuristics for High Performance SAT Based Static Property Checking , 2004 .