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

InstanceResultTime
k_path_p-2UNSAT0.37
k_path_p-5UNSAT4.66
k_path_p-10UNSAT52.52
k_path_p-14FAIL245.84
k_path_p-15FAIL248.66
k_path_p-18FAIL301.81
k_path_p-13FAIL324.36
k_path_p-16FAIL345.05
k_path_p-21FAIL352.16
k_path_p-19FAIL382.14