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

InstanceResultTime
k_grz_n-10SAT7.81
k_grz_n-13SAT277.59
k_grz_n-14SAT816.03
k_grz_n-21FAIL1200.07