Instances of family k_path_p solved by QUANTOR_hc
QBFEVAL'06

InstanceResultTime
k_path_p-16UNSAT0.01
k_path_p-12UNSAT0.01
k_path_p-8UNSAT0.01
k_path_p-20UNSAT0.03
k_path_p-21UNSAT0.03