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

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