Instances of family k_path_p solved by QUANTOR
QBFEVAL'05

InstanceResultTime
k_path_p-4UNSAT0.02
k_path_p-8UNSAT0.02
k_path_p-12UNSAT0.03
k_path_p-16UNSAT0.05
k_path_p-21UNSAT0.06
k_path_p-20UNSAT0.08