Instances of family k_lin_p solved by depqbf
QBFEVAL'10 - Competitive Track.

InstanceResultTime
k_lin_p-8UNSAT0.18
k_lin_p-12UNSAT0.6
k_lin_p-16UNSAT1.25
k_lin_p-21UNSAT1.6