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

InstanceResultTime
k_lin_p-8UNSAT0.04
k_lin_p-12UNSAT0.06
k_lin_p-16UNSAT0.12
k_lin_p-21UNSAT0.21