Instances of family driver solved by xb-qsts_xbqsts1.0
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
driver_d9y.unsatUNSAT0.33
driver_d9y.satSAT0.39
driver_a9n.unsatUNSAT1.59
driver_a9n.satSAT2.32