Instances of family k_branch_n solved by preQuantor
QBFEVAL'06

InstanceResultTime
k_branch_n-4FAIL18.86
k_branch_n-8FAIL20.1