Instances of family driver solved by Qute_opt500
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
driver_d9y.satSAT0.23
driver_d9y.unsatUNSAT0.42
driver_a9n.unsatUNSAT0.75
driver_a9n.satSAT3.75