k=3 n=4: threshold 1 (OVERRIDE; conjectured value 2); 4 vars, 6 codegree clauses, 1 THC clauses: SAT, counterexample with 3 edges, min codegree 1, THC: False (re-checked by DFS)  [0.0s]
   edges: [[0, 1, 2], [0, 1, 3], [0, 2, 3]]
k=3 n=5: threshold 1 (OVERRIDE; conjectured value 2); 10 vars, 10 codegree clauses, 12 THC clauses: SAT, counterexample with 6 edges, min codegree 1, THC: False (re-checked by DFS)  [0.0s]
   edges: [[0, 1, 2], [0, 1, 3], [0, 1, 4], [0, 2, 3], [0, 2, 4], [0, 3, 4]]
k=3 n=6: threshold 2 (OVERRIDE; conjectured value 3); 20 vars, 60 codegree clauses, 60 THC clauses: SAT, counterexample with 12 edges, min codegree 2, THC: False (re-checked by DFS)  [0.0s]
   edges: [[0, 1, 2], [0, 1, 3], [0, 2, 5], [0, 3, 4], [0, 3, 5], [0, 4, 5], [1, 2, 3], [1, 2, 4], [1, 2, 5], [1, 3, 5], [1, 4, 5], [2, 3, 4]]
k=3 n=8: threshold 3 (OVERRIDE; conjectured value 4); 56 vars, 420 codegree clauses, 2520 THC clauses: SAT, counterexample with 31 edges, min codegree 3, THC: False (re-checked by DFS)  [0.0s]
   edges: [[0, 1, 2], [0, 1, 3], [0, 1, 5], [0, 2, 3], [0, 2, 4], [0, 3, 5], [0, 4, 6], [0, 4, 7], [0, 5, 6], [0, 5, 7], [0, 6, 7], [1, 2, 4], [1, 2, 5], [1, 3, 6], [1, 3, 7], [1, 4, 5], [1, 4, 6], [1, 4, 7], [1, 5, 6], [1, 5, 7], [1, 6, 7], [2, 3, 5], [2, 3, 6], [2, 3, 7], [2, 4, 5], [2, 5, 6], [2, 5, 7], [2, 6, 7], [3, 4, 5], [3, 4, 6], [3, 4, 7]]
k=4 n=5: threshold 1 (OVERRIDE; conjectured value 2); 5 vars, 10 codegree clauses, 1 THC clauses: SAT, counterexample with 4 edges, min codegree 1, THC: False (re-checked by DFS)  [0.0s]
   edges: [[0, 1, 2, 3], [0, 1, 2, 4], [0, 1, 3, 4], [0, 2, 3, 4]]
k=4 n=6: threshold 1 (OVERRIDE; conjectured value 2); 15 vars, 20 codegree clauses, 60 THC clauses: SAT, counterexample with 10 edges, min codegree 1, THC: False (re-checked by DFS)  [0.0s]
   edges: [[0, 1, 2, 3], [0, 1, 2, 4], [0, 1, 2, 5], [0, 1, 3, 4], [0, 1, 3, 5], [0, 1, 4, 5], [0, 2, 3, 4], [0, 2, 3, 5], [0, 2, 4, 5], [0, 3, 4, 5]]
k=4 n=7: threshold 2 (OVERRIDE; conjectured value 3); 35 vars, 140 codegree clauses, 360 THC clauses: SAT, counterexample with 25 edges, min codegree 2, THC: False (re-checked by DFS)  [0.0s]
   edges: [[0, 1, 2, 3], [0, 1, 2, 4], [0, 1, 2, 5], [0, 1, 2, 6], [0, 1, 3, 4], [0, 1, 3, 5], [0, 1, 3, 6], [0, 1, 4, 5], [0, 1, 4, 6], [0, 1, 5, 6], [0, 2, 3, 5], [0, 2, 3, 6], [0, 2, 4, 5], [0, 2, 4, 6], [0, 2, 5, 6], [0, 3, 4, 5], [0, 3, 4, 6], [0, 3, 5, 6], [0, 4, 5, 6], [1, 2, 3, 4], [1, 2, 5, 6], [1, 3, 5, 6], [1, 4, 5, 6], [2, 3, 4, 5], [2, 3, 4, 6]]
k=4 n=9: threshold 3 (OVERRIDE; conjectured value 4); 126 vars, 1260 codegree clauses, 20160 THC clauses: SAT, counterexample with 84 edges, min codegree 3, THC: False (re-checked by DFS)  [0.1s]
   edges: [[0, 1, 2, 3], [0, 1, 2, 4], [0, 1, 2, 5], [0, 1, 2, 6], [0, 1, 2, 7], [0, 1, 2, 8], [0, 1, 3, 6], [0, 1, 3, 7], [0, 1, 4, 5], [0, 1, 4, 8], [0, 1, 5, 8], [0, 1, 6, 7], [0, 2, 3, 6], [0, 2, 3, 7], [0, 2, 4, 5], [0, 2, 4, 8], [0, 2, 5, 8], [0, 2, 6, 7], [0, 3, 4, 5], [0, 3, 4, 6], [0, 3, 4, 7], [0, 3, 4, 8], [0, 3, 5, 6], [0, 3, 5, 7], [0, 3, 5, 8], [0, 3, 6, 7], [0, 3, 6, 8], [0, 3, 7, 8], [0, 4, 5, 6], [0, 4, 5, 7], [0, 4, 5, 8], [0, 4, 6, 7], [0, 4, 6, 8], [0, 4, 7, 8], [0, 5, 6, 7], [0, 5, 6, 8], [0, 5, 7, 8], [0, 6, 7, 8], [1, 2, 3, 6], [1, 2, 3, 7], [1, 2, 4, 5], [1, 2, 4, 8], [1, 2, 5, 8], [1, 2, 6, 7], [1, 3, 4, 5], [1, 3, 4, 6], [1, 3, 4, 7], [1, 3, 4, 8], [1, 3, 5, 6], [1, 3, 5, 7], [1, 3, 5, 8], [1, 3, 6, 7], [1, 3, 6, 8], [1, 3, 7, 8], [1, 4, 5, 6], [1, 4, 5, 7], [1, 4, 5, 8], [1, 4, 6, 7], [1, 4, 6, 8], [1, 4, 7, 8], [1, 5, 6, 7], [1, 5, 6, 8], [1, 5, 7, 8], [1, 6, 7, 8], [2, 3, 4, 5], [2, 3, 4, 6], [2, 3, 4, 7], [2, 3, 4, 8], [2, 3, 5, 6], [2, 3, 5, 7], [2, 3, 5, 8], [2, 3, 6, 7], [2, 3, 6, 8], [2, 3, 7, 8], [2, 4, 5, 6], [2, 4, 5, 7], [2, 4, 5, 8], [2, 4, 6, 7], [2, 4, 6, 8], [2, 4, 7, 8], [2, 5, 6, 7], [2, 5, 6, 8], [2, 5, 7, 8], [2, 6, 7, 8]]
k=5 n=6: threshold 1 (OVERRIDE; conjectured value 2); 6 vars, 15 codegree clauses, 1 THC clauses: SAT, counterexample with 5 edges, min codegree 1, THC: False (re-checked by DFS)  [0.0s]
   edges: [[0, 1, 2, 3, 4], [0, 1, 2, 3, 5], [0, 1, 2, 4, 5], [0, 1, 3, 4, 5], [0, 2, 3, 4, 5]]
k=5 n=7: threshold 1 (OVERRIDE; conjectured value 2); 21 vars, 35 codegree clauses, 360 THC clauses: SAT, counterexample with 15 edges, min codegree 1, THC: False (re-checked by DFS)  [0.0s]
   edges: [[0, 1, 2, 3, 4], [0, 1, 2, 3, 5], [0, 1, 2, 3, 6], [0, 1, 2, 4, 5], [0, 1, 2, 4, 6], [0, 1, 2, 5, 6], [0, 1, 3, 4, 5], [0, 1, 3, 4, 6], [0, 1, 3, 5, 6], [0, 1, 4, 5, 6], [0, 2, 3, 4, 5], [0, 2, 3, 4, 6], [0, 2, 3, 5, 6], [0, 2, 4, 5, 6], [0, 3, 4, 5, 6]]
k=5 n=8: threshold 2 (OVERRIDE; conjectured value 3); 56 vars, 280 codegree clauses, 2520 THC clauses: SAT, counterexample with 42 edges, min codegree 2, THC: False (re-checked by DFS)  [0.0s]
   edges: [[0, 1, 2, 3, 4], [0, 1, 2, 3, 5], [0, 1, 2, 3, 6], [0, 1, 2, 3, 7], [0, 1, 2, 4, 5], [0, 1, 2, 4, 6], [0, 1, 2, 4, 7], [0, 1, 2, 5, 6], [0, 1, 2, 5, 7], [0, 1, 2, 6, 7], [0, 1, 3, 4, 5], [0, 1, 3, 4, 6], [0, 1, 3, 4, 7], [0, 1, 3, 5, 6], [0, 1, 3, 5, 7], [0, 1, 3, 6, 7], [0, 1, 4, 5, 6], [0, 1, 4, 5, 7], [0, 1, 4, 6, 7], [0, 2, 3, 4, 5], [0, 2, 3, 6, 7], [0, 2, 4, 6, 7], [0, 2, 5, 6, 7], [0, 3, 4, 6, 7], [0, 3, 5, 6, 7], [0, 4, 5, 6, 7], [1, 2, 3, 4, 6], [1, 2, 3, 4, 7], [1, 2, 3, 5, 6], [1, 2, 3, 5, 7], [1, 2, 3, 6, 7], [1, 2, 4, 5, 6], [1, 2, 4, 5, 7], [1, 2, 4, 6, 7], [1, 2, 5, 6, 7], [1, 3, 4, 5, 6], [1, 3, 4, 5, 7], [1, 3, 4, 6, 7], [1, 3, 5, 6, 7], [1, 4, 5, 6, 7], [2, 3, 4, 5, 6], [2, 3, 4, 5, 7]]
k=6 n=7: threshold 1 (OVERRIDE; conjectured value 2); 7 vars, 21 codegree clauses, 1 THC clauses: SAT, counterexample with 6 edges, min codegree 1, THC: False (re-checked by DFS)  [0.0s]
   edges: [[0, 1, 2, 3, 4, 5], [0, 1, 2, 3, 4, 6], [0, 1, 2, 3, 5, 6], [0, 1, 2, 4, 5, 6], [0, 1, 3, 4, 5, 6], [0, 2, 3, 4, 5, 6]]
k=6 n=8: threshold 1 (OVERRIDE; conjectured value 2); 28 vars, 56 codegree clauses, 2520 THC clauses: SAT, counterexample with 21 edges, min codegree 1, THC: False (re-checked by DFS)  [0.0s]
   edges: [[0, 1, 2, 3, 4, 5], [0, 1, 2, 3, 4, 6], [0, 1, 2, 3, 4, 7], [0, 1, 2, 3, 5, 6], [0, 1, 2, 3, 5, 7], [0, 1, 2, 3, 6, 7], [0, 1, 2, 4, 5, 6], [0, 1, 2, 4, 5, 7], [0, 1, 2, 4, 6, 7], [0, 1, 2, 5, 6, 7], [0, 1, 3, 4, 5, 6], [0, 1, 3, 4, 5, 7], [0, 1, 3, 4, 6, 7], [0, 1, 3, 5, 6, 7], [0, 1, 4, 5, 6, 7], [0, 2, 3, 4, 5, 6], [0, 2, 3, 4, 5, 7], [0, 2, 3, 4, 6, 7], [0, 2, 3, 5, 6, 7], [0, 2, 4, 5, 6, 7], [0, 3, 4, 5, 6, 7]]
k=6 n=9: threshold 2 (OVERRIDE; conjectured value 3); 84 vars, 504 codegree clauses, 20160 THC clauses: SAT, counterexample with 54 edges, min codegree 2, THC: False (re-checked by DFS)  [0.3s]
   edges: [[0, 1, 2, 3, 4, 7], [0, 1, 2, 3, 4, 8], [0, 1, 2, 3, 5, 7], [0, 1, 2, 3, 5, 8], [0, 1, 2, 3, 6, 7], [0, 1, 2, 3, 6, 8], [0, 1, 2, 4, 5, 6], [0, 1, 2, 4, 5, 7], [0, 1, 2, 4, 6, 7], [0, 1, 2, 4, 7, 8], [0, 1, 2, 5, 6, 7], [0, 1, 2, 5, 7, 8], [0, 1, 2, 6, 7, 8], [0, 1, 3, 4, 5, 6], [0, 1, 3, 4, 5, 7], [0, 1, 3, 4, 6, 7], [0, 1, 3, 4, 7, 8], [0, 1, 3, 5, 6, 7], [0, 1, 3, 5, 7, 8], [0, 1, 3, 6, 7, 8], [0, 1, 4, 5, 6, 8], [0, 1, 4, 5, 7, 8], [0, 1, 4, 6, 7, 8], [0, 1, 5, 6, 7, 8], [0, 2, 3, 4, 5, 6], [0, 2, 3, 4, 5, 8], [0, 2, 3, 4, 6, 8], [0, 2, 3, 4, 7, 8], [0, 2, 3, 5, 6, 8], [0, 2, 3, 5, 7, 8], [0, 2, 3, 6, 7, 8], [0, 2, 4, 5, 6, 7], [0, 2, 4, 5, 6, 8], [0, 3, 4, 5, 6, 7], [0, 3, 4, 5, 6, 8], [0, 4, 5, 6, 7, 8], [1, 2, 3, 4, 5, 6], [1, 2, 3, 4, 5, 8], [1, 2, 3, 4, 6, 8], [1, 2, 3, 4, 7, 8], [1, 2, 3, 5, 6, 8], [1, 2, 3, 5, 7, 8], [1, 2, 3, 6, 7, 8], [1, 2, 4, 5, 6, 7], [1, 2, 4, 5, 6, 8], [1, 3, 4, 5, 6, 7], [1, 3, 4, 5, 6, 8], [1, 4, 5, 6, 7, 8], [2, 3, 4, 5, 6, 7], [2, 3, 4, 5, 7, 8], [2, 3, 4, 6, 7, 8], [2, 3, 5, 6, 7, 8], [2, 4, 5, 6, 7, 8], [3, 4, 5, 6, 7, 8]]
k=7 n=8: threshold 1 (OVERRIDE; conjectured value 2); 8 vars, 28 codegree clauses, 1 THC clauses: SAT, counterexample with 7 edges, min codegree 1, THC: False (re-checked by DFS)  [0.0s]
   edges: [[0, 1, 2, 3, 4, 5, 6], [0, 1, 2, 3, 4, 5, 7], [0, 1, 2, 3, 4, 6, 7], [0, 1, 2, 3, 5, 6, 7], [0, 1, 2, 4, 5, 6, 7], [0, 1, 3, 4, 5, 6, 7], [0, 2, 3, 4, 5, 6, 7]]
k=7 n=9: threshold 1 (OVERRIDE; conjectured value 2); 36 vars, 84 codegree clauses, 20160 THC clauses: SAT, counterexample with 28 edges, min codegree 1, THC: False (re-checked by DFS)  [0.1s]
   edges: [[0, 1, 2, 3, 4, 5, 6], [0, 1, 2, 3, 4, 5, 7], [0, 1, 2, 3, 4, 5, 8], [0, 1, 2, 3, 4, 6, 7], [0, 1, 2, 3, 4, 6, 8], [0, 1, 2, 3, 4, 7, 8], [0, 1, 2, 3, 5, 6, 7], [0, 1, 2, 3, 5, 6, 8], [0, 1, 2, 3, 5, 7, 8], [0, 1, 2, 3, 6, 7, 8], [0, 1, 2, 4, 5, 6, 7], [0, 1, 2, 4, 5, 6, 8], [0, 1, 2, 4, 5, 7, 8], [0, 1, 2, 4, 6, 7, 8], [0, 1, 2, 5, 6, 7, 8], [0, 1, 3, 4, 5, 6, 7], [0, 1, 3, 4, 5, 6, 8], [0, 1, 3, 4, 5, 7, 8], [0, 1, 3, 4, 6, 7, 8], [0, 1, 3, 5, 6, 7, 8], [0, 1, 4, 5, 6, 7, 8], [0, 2, 3, 4, 5, 6, 7], [0, 2, 3, 4, 5, 6, 8], [0, 2, 3, 4, 5, 7, 8], [0, 2, 3, 4, 6, 7, 8], [0, 2, 3, 5, 6, 7, 8], [0, 2, 4, 5, 6, 7, 8], [0, 3, 4, 5, 6, 7, 8]]
k=7 n=10: threshold 2 (OVERRIDE; conjectured value 3); 120 vars, 840 codegree clauses, 181440 THC clauses: UNDECIDED (timeout 600.0s)
