The Ninth QBF Solvers Evaluation–Preliminary Report