Instances of family k_branch_n solved by SQBF
QBFEVAL'06

InstanceResultTime
k_branch_n-4SAT101.68
k_branch_n-8FAIL170.05