Instances of family k_dum_p solved by CLearn
QBFEVAL'04

InstanceResultTime
k_dum_p-1UNSAT0.04
k_dum_p-6UNSAT1.68
k_dum_p-8UNSAT8.77
k_dum_p-11UNSAT592.09
k_dum_p-16FAIL901
k_dum_p-15FAIL901
k_dum_p-20FAIL901
k_dum_p-17FAIL901.01