Instances of family k_path_p solved by semprop
QBFEVAL'04

InstanceResultTime
k_path_p-2UNSAT0.02
k_path_p-3UNSAT0.03
k_path_p-6UNSAT1.99
k_path_p-14UNSAT32.57
k_path_p-11UNSAT57.16
k_path_p-16FAIL901
k_path_p-20FAIL901
k_path_p-17FAIL901.01