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

InstanceResultTime
genbuf9b4n.unsatFAIL900.02
genbuf9b4n.satFAIL900.03
genbuf10b4n.unsatFAIL900.06