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

InstanceResultTime
driver_c9y.satSAT0.04
driver_c9n.satSAT0.07
driver_a10y.satSAT0.12
driver_b8n.satSAT0.14