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


InstanceSolverResultTime
k_branch_n-10QuAbS_2017SAT15.77
k_branch_n-12QuAbS_2017SAT98.77