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

InstanceResultTime
genbuf9b4n.satSAT7.81
genbuf9b4n.unsatSAT133.71
genbuf10b4n.unsatSAT210.6