{"k": 2, "n": 4, "colours": 3, "vertices": 6, "colourable_no_symmetry_break": true, "nodes": 7, "seconds": 0.0, "conclusion": "835(2) YES"}
{"k": 3, "n": 6, "colours": 4, "vertices": 20, "colourable_no_symmetry_break": false, "nodes": 257, "seconds": 0.002, "conclusion": "835(3) NO"}
{"k": 4, "n": 8, "colours": 5, "vertices": 70, "colourable_no_symmetry_break": false, "nodes": 11486, "seconds": 0.466, "conclusion": "835(4) NO"}