Instances of family k_dum_p solved by WalkQSAT
QBFEVAL'05

InstanceResultTime
k_dum_p-4UNSAT0.56
k_dum_p-8UNSAT13.64
k_dum_p-20FAIL900.99
k_dum_p-21FAIL901
k_dum_p-12FAIL901
k_dum_p-16FAIL901