Instances of family k_path_p solved by depqbf-v3
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k_path_p-2UNSAT0.01
k_path_p-5UNSAT0.09
k_path_p-10UNSAT6.35
k_path_p-19FAIL599.71
k_path_p-14FAIL599.71
k_path_p-16FAIL599.71
k_path_p-15FAIL599.71
k_path_p-21FAIL599.71
k_path_p-13FAIL599.71
k_path_p-18FAIL599.81