Instances of family k_dum_p solved by sKizzo-0.10-qck
QBFEVAL'07

InstanceResultTime
k_dum_p-12UNSAT0.08
k_dum_p-16UNSAT0.1
k_dum_p-20UNSAT0.14
k_dum_p-21UNSAT0.15