Instances of family k_branch_n solved by sSolve
QBFEVAL'05

InstanceResultTime
k_branch_n-4SAT708.1
k_branch_n-20FAIL900.97
k_branch_n-12FAIL900.98
k_branch_n-21FAIL900.98
k_branch_n-16FAIL900.98
k_branch_n-8FAIL900.98