Instances of family k_path_p solved by yQuaffle
QBFEVAL'04

InstanceResultTime
k_path_p-2UNSAT0.01
k_path_p-3UNSAT0.03
k_path_p-6UNSAT165.38
k_path_p-20FAIL181.29
k_path_p-17FAIL244.8
k_path_p-16FAIL332.16
k_path_p-14FAIL339.81
k_path_p-11FAIL549.54