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


InstanceSolverResultTime
genbuf10b4n.unsatcaqe_2017_v3UNSAT27.04
genbuf9b4n.satAIGSolveSAT362.6
genbuf9b4n.unsatcaqe_2017_v2UNSAT21.68