Instances of family k_branch_p solved by sSolve
QBFEVAL'06

InstanceResultTime
k_branch_p-4UNSAT625.04
k_branch_p-8FAIL6000.3
k_branch_p-12FAIL6000.33