Instances of family k_path_p solved by quabs-picosat
QBFEVAL'16 - Prenex non-CNF Track.

InstanceResultTime
k_path_p-2UNSAT0.01
k_path_p-5UNSAT0.05
k_path_p-10UNSAT0.3
k_path_p-14UNSAT0.65
k_path_p-16UNSAT0.87