EMSQMS 2010 Accepted Papers

Designing a solver competition: the QBFEVAL'10 case study
Exploring Predictability of SAT/SMT Solvers
The SMT Execution Service: Features, Fairness, and the Future
Evaluation Opportunities in Mechanized Theories
Statistical Methodology for Comparison of SAT Solvers
Adaptive Proofs supported by Metadeduction