Instances of family k_branch_n solved by QUANTOR_2.15
QBFEVAL'07

InstanceResultTime
k_branch_n-4FAIL9.69