Sota solver results for family genbuf
QBFEVAL'18 - Prenex non-CNF Track


InstanceSolverResultTime
genbuf10b4y.unsatquabs___caqe-hqspreUNSAT84.62
genbuf5b4n.unsatquabs___caqe-bloqqerUNSAT4.21
genbuf9b4n.unsatquabs___caqe-bloqqerUNSAT45.86