Instances of family genbuf solved by ijtihad_v1
QBFEVAL'17 - Prenex CNF Track

InstanceResultTime
genbuf10b4n.unsatUNSAT618.57
genbuf9b4n.unsatUNSAT886.38
genbuf10b4n.satFAIL900
genbuf9b4n.satFAIL900