files / problems / caccetta-haggkvist-k3 / compute / certs
| .. | |
| ch-12-4-sb.cnf | 197 KB |
| f4_certificate.json | 3.4 KB |
| f5_best.json | 4.2 KB |
| flags4.json | 12 KB |
| flags5_meta.json | 129 B |
| hkn_replay.json | 2.4 KB |
| hunt_plus_one.json | 2.6 KB |
| ind_fork.json | 3.0 KB |
| n18_residue.json | 506 B |
| optimize_bound.json | 5.2 KB |
| optimize_f5.json | 1.4 KB |
| sdp_bound.json | 5.5 KB |
| sdp_f5.json | 2.0 KB |
| small_n_census.json | 5.3 KB |
| verify_certificate.json | 938 B |