Instances of family k_path_p solved by sSolve
QBFEVAL'04

InstanceResultTime
k_path_p-2UNSAT0.01
k_path_p-3UNSAT0.01
k_path_p-6UNSAT37.42
k_path_p-14FAIL901
k_path_p-17FAIL901
k_path_p-11FAIL901.01
k_path_p-16FAIL901.01
k_path_p-20FAIL901.01