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

InstanceResultTime
k_dum_p-3UNSAT0.02
k_dum_p-4UNSAT0.02
k_dum_p-2UNSAT0.02
k_dum_p-6UNSAT0.09
k_dum_p-12UNSAT0.41
k_dum_p-14UNSAT1.31
k_dum_p-16UNSAT4.91
k_dum_p-17UNSAT13.51
k_dum_p-20UNSAT46.71
k_dum_p-21UNSAT154.71