Instances of family k_lin_p solved by QSAT
QBFEVAL'04

InstanceResultTime
k_lin_p-1UNSAT0.01
k_lin_p-6UNSAT0.02
k_lin_p-5UNSAT0.02
k_lin_p-8UNSAT0.05
k_lin_p-10UNSAT0.07
k_lin_p-11UNSAT0.09
k_lin_p-15UNSAT0.25
k_lin_p-18UNSAT0.34