Instances of family k_branch_n solved by QUANTOR
QBFEVAL'06

InstanceResultTime
k_branch_n-8FAIL13.54
k_branch_n-4FAIL13.67