Instances of family k_branch_n solved by cheq
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.

InstanceResultTime
k_branch_n-2SAT0.42
k_branch_n-3SAT15.3
k_branch_n-12FAIL589.56
k_branch_n-4FAIL602.09
k_branch_n-16FAIL606.22
k_branch_n-9FAIL619.01
k_branch_n-20FAIL623.38
k_branch_n-10FAIL625.75
k_branch_n-8FAIL626.99
k_branch_n-11FAIL678.88