Instances of family k_path_n solved by QUBE-LRN
QBFEVAL'04

InstanceResultTime
k_path_n-1SAT0.98
k_path_n-3SAT1.45
k_path_n-4SAT22.79
k_path_n-13FAIL901.03
k_path_n-7FAIL901.03
k_path_n-6FAIL901.04
k_path_n-8FAIL901.04
k_path_n-5FAIL901.04