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


InstanceSolverResultTime
k_branch_p-10quabs___caqe-bloqqerUNSAT0
k_branch_p-11quabs___caqe-bloqqerUNSAT0.01
k_branch_p-16quabs___caqe-bloqqerUNSAT0.03