Instances of family driver solved by predyndep
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
driver_d9y.satSAT0.51
driver_a9n.satSAT2.77