Instances of family k_path_n solved by QbflHR
QBFEVAL'05

InstanceResultTime
k_path_n-20FAIL900.99
k_path_n-8FAIL901
k_path_n-21FAIL901
k_path_n-16FAIL901
k_path_n-4FAIL901
k_path_n-12FAIL901.01