Instances of family k_path_n solved by yQuaffle
QBFEVAL'04

InstanceResultTime
k_path_n-1SAT0.02
k_path_n-3SAT0.81
k_path_n-4SAT27.24
k_path_n-13FAIL345.06
k_path_n-8FAIL830.7
k_path_n-5FAIL901
k_path_n-7FAIL901
k_path_n-6FAIL901