Instances of family k_lin_p solved by aqua-s2v
QBFEVAL'16 - Prenex CNF Track.

InstanceResultTime
k_lin_p-2UNSAT0
k_lin_p-4UNSAT0.01
k_lin_p-3UNSAT0.01
k_lin_p-8UNSAT0.03
k_lin_p-9UNSAT0.03
k_lin_p-10UNSAT0.04
k_lin_p-11UNSAT0.05
k_lin_p-12UNSAT0.06
k_lin_p-14UNSAT0.07
k_lin_p-19UNSAT0.13