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

InstanceResultTime
k_dum_p-1UNSAT0.98
k_dum_p-6UNSAT10.87
k_dum_p-8UNSAT231.65
k_dum_p-20FAIL901.03
k_dum_p-16FAIL901.03
k_dum_p-11FAIL901.03
k_dum_p-17FAIL901.03
k_dum_p-15FAIL901.04