Instances of family driver solved by GhostQ-PG_plain
QBFEVAL'17 - Prenex 2QBF Track

InstanceResultTime
driver_a10y.satFAIL900
driver_b8n.satFAIL900
driver_c9n.satFAIL900
driver_c9y.satFAIL900