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

InstanceResultTime
k_lin_p-2UNSAT0.16
k_lin_p-8UNSAT0.19
k_lin_p-3UNSAT0.2
k_lin_p-4UNSAT0.6
k_lin_p-11UNSAT0.72
k_lin_p-9UNSAT0.74
k_lin_p-10UNSAT1.09
k_lin_p-12UNSAT1.83
k_lin_p-14UNSAT3.12
k_lin_p-19UNSAT6.93