{
 "k": 2,
 "n": 4,
 "colours": 3,
 "num_vertices": 6,
 "num_edges": 12,
 "num_anti_star_cliques": 4,
 "own_prover_colourable": true,
 "own_prover_nodes": 4,
 "own_prover_seconds": 0.0,
 "verified_proper": true,
 "verified_all_rainbow": true,
 "cnf_clauses": 63,
 "cnf_vars": 18,
 "sat_solvers_colourable": {
  "cadical153": true,
  "glucose4": true,
  "minisat22": true
 },
 "all_oracles_agree": true,
 "conclusion": "835(2) is YES"
}

{
 "k": 3,
 "n": 6,
 "colours": 4,
 "num_vertices": 20,
 "num_edges": 90,
 "num_anti_star_cliques": 15,
 "own_prover_colourable": false,
 "own_prover_nodes": 9,
 "own_prover_seconds": 0.0,
 "cnf_clauses": 504,
 "cnf_vars": 80,
 "sat_solvers_colourable": {
  "cadical153": false,
  "glucose4": false,
  "minisat22": false
 },
 "all_oracles_agree": true,
 "conclusion": "835(3) is NO"
}

{
 "k": 4,
 "n": 8,
 "colours": 5,
 "num_vertices": 70,
 "num_edges": 560,
 "num_anti_star_cliques": 56,
 "own_prover_colourable": false,
 "own_prover_nodes": 136,
 "own_prover_seconds": 0.0,
 "cnf_clauses": 3575,
 "cnf_vars": 350,
 "sat_solvers_colourable": {
  "cadical153": false,
  "glucose4": false,
  "minisat22": false
 },
 "all_oracles_agree": true,
 "conclusion": "835(4) is NO"
}

Wrote settle_835_results.json