Instances of family k_branch_p solved by QMRes
QBFEVAL'04

InstanceResultTime
k_branch_p-3UNSAT3.15
k_branch_p-8FAIL901
k_branch_p-5FAIL901
k_branch_p-16FAIL901.01
k_branch_p-13FAIL901.01
k_branch_p-14FAIL901.01
k_branch_p-19FAIL901.01
k_branch_p-15FAIL901.01