Empowering ASPQ to win in QBFEval 2018