Instances of family k_branch_n solved by QUANTOR
QBFEVAL'04

InstanceResultTime
k_branch_n-1SAT0.02
k_branch_n-7FAIL11.82
k_branch_n-6FAIL12.42
k_branch_n-9FAIL12.93
k_branch_n-14FAIL17.65
k_branch_n-20FAIL18.07
k_branch_n-15FAIL18.45
k_branch_n-16FAIL18.81