CAQE and QuAbS: Abstraction Based QBF Solvers