Instances of family k_lin_p solved by CLearn
QBFEVAL'04

InstanceResultTime
k_lin_p-1UNSAT0.02
k_lin_p-5UNSAT0.23
k_lin_p-6UNSAT0.41
k_lin_p-8UNSAT0.75
k_lin_p-10UNSAT1.72
k_lin_p-11UNSAT4.6
k_lin_p-18UNSAT17.27
k_lin_p-15UNSAT19.85