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

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