Instances of family k_lin_p solved by 2clsQ
QBFEVAL'06

InstanceResultTime
k_lin_p-8UNSAT0.02
k_lin_p-12UNSAT0.05
k_lin_p-16UNSAT0.07
k_lin_p-20UNSAT0.13
k_lin_p-21UNSAT0.15