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

InstanceResultTime
genbuf9b4n.satFAIL900.04