Instances of family k_path_p solved by aigqbf_sr
QBFEVAL'07

InstanceResultTime
k_path_p-8UNSAT3.14
k_path_p-12UNSAT6.14
k_path_p-16UNSAT10.79
k_path_p-20UNSAT16.57
k_path_p-21UNSAT18.62