Instances of family k_branch_p solved by QUANTOR
QBFEVAL'04

InstanceResultTime
k_branch_p-3UNSAT0.57
k_branch_p-5FAIL11.98
k_branch_p-8FAIL12.17
k_branch_p-13FAIL16.71
k_branch_p-14FAIL17.7
k_branch_p-19FAIL18.09
k_branch_p-15FAIL18.29
k_branch_p-16FAIL19.07