Instances of family k_path_p solved by QBFL-JW
QBFEVAL'04

InstanceResultTime
k_path_p-2UNSAT0.06
k_path_p-3UNSAT7.14
k_path_p-11FAIL901
k_path_p-14FAIL901
k_path_p-17FAIL901
k_path_p-16FAIL901
k_path_p-6FAIL901.01
k_path_p-20FAIL901.02