Instances of family genbuf solved by GhostQ-PG_plain
QBFEVAL'18 - Prenex 2QBF Track

InstanceResultTime
genbuf9b4n.satFAIL900.04