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

InstanceResultTime
k_path_p-2UNSAT0
k_path_p-5UNSAT0.01
k_path_p-10UNSAT0.02
k_path_p-14UNSAT0.02
k_path_p-13UNSAT0.02
k_path_p-18UNSAT0.03
k_path_p-19UNSAT0.03
k_path_p-16UNSAT0.03
k_path_p-15UNSAT0.03
k_path_p-21UNSAT0.04