files / problems / ramsey-r55 / compute / certs / flip_types.json

184 B · on GitHub

{
  "n_flip_matching_known_type": 4080,
  "n_flip_new_type": 0,
  "n_known_color_types": 194,
  "n_known_graphs": 656,
  "n_one_flip_55": 4080,
  "new_types": [],
  "seconds": 25.97
}