Instances of family k_path_p solved by Adaptive2clsQ
QBFEVAL'07

InstanceResultTime
k_path_p-12UNSAT0.06
k_path_p-16UNSAT0.07
k_path_p-8UNSAT0.07
k_path_p-21UNSAT0.09
k_path_p-20UNSAT0.1