Instances of family genbuf solved by quabs___caqe-hqspre
QBFEVAL'19 - Prenex non-CNF Track

InstanceResultTime
genbuf1b4y.unsatUNSAT0.65
genbuf5b4n.unsatUNSAT10.47
genbuf10b4y.unsatUNSAT79.87
genbuf9b4n.unsatUNSAT85.16