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

InstanceResultTime
k_path_p-2UNSAT0
k_path_p-5UNSAT0.03
k_path_p-13FAIL599.72
k_path_p-10FAIL599.82
k_path_p-15FAIL599.83
k_path_p-16FAIL599.85
k_path_p-14FAIL599.87
k_path_p-21FAIL599.87
k_path_p-18FAIL599.88
k_path_p-19FAIL599.88