The Seventh QBF Solvers Evaluation (QBFEVAL’10)