Instances of family driver solved by rev_qfun0.1
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
driver_d9y.satSAT0.04
driver_d9y.unsatUNSAT0.04
driver_a9n.unsatUNSAT0.11
driver_a9n.satSAT0.18