Instances of family driver solved by Qute_default
Prenex CNF Track

InstanceResultTime
driver_d9y.satSAT0
driver_c9n.satSAT0
driver_c9y.satSAT0
driver_b8n.satSAT1.61
driver_a10y.satSAT2.75
driver_a9n.satSAT4.13