Instances of family k_dum_n solved by xb-bid-qsts
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k_dum_n-1SAT0.02
k_dum_n-2SAT0.03
k_dum_n-3SAT0.03
k_dum_n-5SAT0.04
k_dum_n-9SAT0.08
k_dum_n-11SAT0.09
k_dum_n-12SAT0.1
k_dum_n-17SAT0.15
k_dum_n-18SAT0.16
k_dum_n-21SAT0.19