Report of the Third QBF Solvers Evaluation