Sota solver results for family k_lin_p
QBFEVAL'04


InstanceSolverResultTime
k_lin_p-1QUANTORUNSAT0.01
k_lin_p-10sSolveUNSAT0.01
k_lin_p-11sSolveUNSAT0.01
k_lin_p-15sSolveUNSAT0.01
k_lin_p-18QSATUNSAT0.34
k_lin_p-5sSolveUNSAT0.01
k_lin_p-6sSolveUNSAT0
k_lin_p-8sSolveUNSAT0.01