Sota solver results for family k_lin_n
QBFEVAL'16 - Evaluate & Certify (non-competitive) Track.


InstanceSolverResultTime
k_lin_n-3cheqSAT1.88
k_lin_n-5cheqSAT31.46
k_lin_n-6cheqSAT81.68
k_lin_n-7cheqSAT149.9
k_lin_n-8cheqSAT164.56
k_lin_n-9cheqSAT363.73