Sota solver results for family k_lin_p
QBFEVAL'16 - Prenex non-CNF Track.


InstanceSolverResultTime
k_lin_p-10qstsUNSAT0.02
k_lin_p-19qstsUNSAT0.03
k_lin_p-2qstsUNSAT0.01
k_lin_p-4qstsUNSAT0.01
k_lin_p-9qstsUNSAT0.01