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

InstanceResultTime
k_lin_p-8UNSAT52.8
k_lin_p-12UNSAT53.81
k_lin_p-16UNSAT97.69
k_lin_p-21UNSAT217.79