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


InstanceSolverResultTime
genbuf10b4n.unsatqfun0.1UNSAT292.61
genbuf9b4n.unsatqfun0.1UNSAT189.67