Instances of family k_lin_p solved by QMRes
QBFEVAL'05

InstanceResultTime
k_lin_p-4UNSAT0.1
k_lin_p-8UNSAT0.42
k_lin_p-12UNSAT3.41
k_lin_p-16UNSAT315.8
k_lin_p-20FAIL900.66
k_lin_p-21FAIL900.96