Instances of family k_dum_p solved by struqs-10
QBFEVAL'10 - Competitive Track.

InstanceResultTime
k_dum_p-11UNSAT1.87
k_dum_p-13UNSAT3.26
k_dum_p-16UNSAT9.23
k_dum_p-21UNSAT30.35