Instances of family driver solved by caqe_2017_v3
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
driver_c9n.satSAT0.27
driver_b8n.satSAT1.3
driver_c9y.satSAT6.37
driver_a10y.satFAIL900