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

235 B · on GitHub

{
  "known_types": 194,
  "n_graphs": 656,
  "new1": [],
  "new2": [],
  "seconds": 24.944,
  "switch1_55": 0,
  "switch1_known_type": 0,
  "switch1_new_type": 0,
  "switch2_55": 0,
  "switch2_known_type": 0,
  "switch2_new_type": 0
}