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

InstanceResultTime
driver_d9y.unsatUNSAT0.74
driver_d9y.satSAT2.09
driver_a9n.unsatFAIL878.21
driver_a9n.satFAIL878.5