[
 {
  "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"
 }
]