Instances of family k_dum_p solved by QUANTOR_2.15
QBFEVAL'07

InstanceResultTime
k_dum_p-12UNSAT0.02
k_dum_p-16UNSAT0.03
k_dum_p-20UNSAT0.03
k_dum_p-21UNSAT0.04