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


InstanceSolverResultTime
k_branch_p-10prefix-opt-depqbfUNSAT0.61
k_branch_p-11prefix-opt-depqbfUNSAT0.69
k_branch_p-12prefix-opt-depqbfUNSAT0.91
k_branch_p-14heretiqUNSAT1.25
k_branch_p-16heretiqUNSAT0.6
k_branch_p-18heretiqUNSAT1.85
k_branch_p-19caqe_2017_v1UNSAT2.31
k_branch_p-21prefix-opt-depqbfUNSAT11.97