Instances of family k_dum_p solved by rareqs
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k_dum_p-4UNSAT0
k_dum_p-2UNSAT0
k_dum_p-3UNSAT0
k_dum_p-6UNSAT0
k_dum_p-12UNSAT0.01
k_dum_p-16UNSAT0.01
k_dum_p-14UNSAT0.01
k_dum_p-21UNSAT0.02
k_dum_p-20UNSAT0.02
k_dum_p-17UNSAT0.02