Instances of family k_path_p solved by nenofex-qbfeval10
QBFEVAL'10 - Competitive Track.

InstanceResultTime
k_path_p-9UNSAT7.56
k_path_p-10UNSAT24.35
k_path_p-16UNSAT115.77
k_path_p-21UNSAT226.5