Instances of family k_path_p solved by QUANTOR
QBFEVAL'04

InstanceResultTime
k_path_p-2UNSAT0.01
k_path_p-6UNSAT0.01
k_path_p-3UNSAT0.01
k_path_p-11UNSAT0.02
k_path_p-14UNSAT0.02
k_path_p-16UNSAT0.04
k_path_p-17UNSAT0.04
k_path_p-20UNSAT0.05