Sota solver results for family k_lin_p
QBFEVAL'10 - Competitive Track.


InstanceSolverResultTime
k_lin_p-12AIGSolveUNSAT0.06
k_lin_p-16AIGSolveUNSAT0.12
k_lin_p-21AIGSolveUNSAT0.19
k_lin_p-8AIGSolveUNSAT0.04