Instances of family k_dum_p solved by QUANTOR
QBFEVAL'05

InstanceResultTime
k_dum_p-4UNSAT0.01
k_dum_p-21UNSAT0.02
k_dum_p-12UNSAT0.02
k_dum_p-20UNSAT0.03
k_dum_p-8UNSAT0.03
k_dum_p-16UNSAT0.03