Instances of family k_path_p solved by QSAT
QBFEVAL'04

InstanceResultTime
k_path_p-2UNSAT0.01
k_path_p-6UNSAT0.01
k_path_p-3UNSAT0.01
k_path_p-11UNSAT0.05
k_path_p-14UNSAT0.06
k_path_p-17UNSAT0.08
k_path_p-16UNSAT0.08
k_path_p-20UNSAT0.11