Instances of family k_dum_n solved by qestos
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k_dum_n-1SAT0
k_dum_n-2SAT0
k_dum_n-3SAT0
k_dum_n-5SAT0
k_dum_n-11SAT0.01
k_dum_n-12SAT0.01
k_dum_n-9SAT0.01
k_dum_n-21SAT0.02
k_dum_n-17SAT0.02
k_dum_n-18SAT0.02