Instances of family k_branch_n solved by quantor-3.1
QBFEVAL'10 - Competitive Track.

InstanceResultTime
k_branch_n-8FAIL23.01
k_branch_n-4FAIL23.76
k_branch_n-5FAIL24.09
k_branch_n-20FAIL34.2