Instances of family k_branch_n solved by Rareqs_2018
QBFEVAL'18 - Prenex CNF Track

InstanceResultTime
k_branch_n-10SAT58.47
k_branch_n-11SAT472.59
k_branch_n-17FAIL900.01
k_branch_n-21FAIL900.01
k_branch_n-12FAIL900.04
k_branch_n-20FAIL900.08