Instances of family driver solved by dynQBF-bloqqer-hqspre
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
driver_d9y.unsatUNSAT0.33
driver_d9y.satSAT0.39
driver_a9n.unsatUNSAT1.58
driver_a9n.satSAT2.47