Instances of family driver solved by ghostq-cegar
QBFEVAL'17 - Prenex non-CNF Track

InstanceResultTime
driver_d9y.unsatUNSAT0.21
driver_a9n.unsatUNSAT27.6
driver_a9n.satFAIL900
driver_d9y.satFAIL900