k=3 n=7: threshold 4 (OVERRIDE; conjectured value 3); 35 vars, 210 codegree clauses, 360 THC clauses: UNSAT (no counterexample)  [0.0s]
k=3 n=9: threshold 5 (OVERRIDE; conjectured value 4); 84 vars, 1260 codegree clauses, 20160 THC clauses: UNSAT (no counterexample)  [1.9s]
k=4 n=8: threshold 4 (OVERRIDE; conjectured value 3); 70 vars, 560 codegree clauses, 2520 THC clauses: UNSAT (no counterexample)  [0.0s]
k=5 n=9: threshold 4 (OVERRIDE; conjectured value 3); 126 vars, 1260 codegree clauses, 20160 THC clauses: UNSAT (no counterexample)  [0.1s]
k=5 n=10: threshold 5 (OVERRIDE; conjectured value 4); 252 vars, 3150 codegree clauses, 181440 THC clauses: UNSAT (no counterexample)  [1.2s]
