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

InstanceResultTime
k_lin_p-8UNSAT0.08
k_lin_p-12UNSAT0.16
k_lin_p-16UNSAT0.31
k_lin_p-21UNSAT0.35