Instances of family driver solved by Cqesto_2018
Prenex non-CNF Track

InstanceResultTime
driver_b8n.satFAIL900
driver_c9n.satFAIL900
driver_c9y.satFAIL900
driver_a9n.satFAIL900
driver_d9y.satFAIL900
driver_a10y.satFAIL900