Instances of family k_branch_n solved by openQbf
QBFEVAL'06

InstanceResultTime
k_branch_n-4FAIL6000.67
k_branch_n-8FAIL6000.94