Instances of family k_branch_n solved by depqbf-pre
QBFEVAL'10 - Competitive Track.

InstanceResultTime
k_branch_n-4SAT70.87
k_branch_n-5FAIL1200.16
k_branch_n-8FAIL1200.17
k_branch_n-20FAIL1200.18