Sota solver results for family genbuf
Prenex CNF Track


InstanceSolverResultTime
genbuf10b4n.unsatRareqs_2018UNSAT65.68
genbuf9b4n.unsatRareqs_2018UNSAT30.46