Instances of family driver solved by ASPQ_2018
QBFEVAL'18 - Prenex 2QBF Track

InstanceResultTime
driver_d9y.satSAT0
driver_c9y.satSAT0
driver_c9n.satSAT0.61
driver_a10y.satSAT1.67
driver_b8n.satSAT1.79
driver_a9n.satSAT2.4