Instances of family driver solved by Caqe-hqspre
QBFEVAL'19 - Prenex CNF Track

InstanceResultTime
driver_c9n.satSAT0
driver_c9y.satSAT0
driver_d9y.satSAT0
driver_b8n.satSAT1.06
driver_a10y.satSAT1.79
driver_a9n.satSAT2.38