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

InstanceResultTime
k_dum_n-1SAT0
k_dum_n-2SAT0.01
k_dum_n-3SAT0.02
k_dum_n-5SAT0.06
k_dum_n-9SAT0.32
k_dum_n-11SAT0.56
k_dum_n-12SAT0.68
k_dum_n-17SAT2.11
k_dum_n-18SAT2.34
k_dum_n-21SAT4.1