files / problems / caccetta-haggkvist-k3 / compute / q4 / certs / keep

..
combinatorial_notes.json8.4 KB
covering_73_120.json51 KB
f_coords_0.3464.json1.4 KB
f4_or_new_certificate.json4.0 KB
hunt_threshold.json843 B
n100_cubes_summary.json16 KB
n101_cubes_summary.json17 KB
n102_cubes_summary.json17 KB
n103_cubes_summary.json17 KB
n104_cubes_summary.json17 KB
n105_cubes_summary.json18 KB
n106_cubes_summary.json17 KB
n107_cubes_summary.json18 KB
n108_cubes_summary.json18 KB
n73_cubes_summary.json4.4 KB
n74_cubes_summary.json12 KB
n75_cubes_summary.json13 KB
n76_cubes_summary.json12 KB
n77_cubes_summary.json13 KB
n78_cubes_summary.json13 KB
n79_cubes_summary.json13 KB
n80_cubes_summary.json13 KB
n81_cubes_summary.json14 KB
n82_cubes_summary.json13 KB
n83_cubes_summary.json14 KB
n84_cubes_summary.json14 KB
n85_cubes_summary.json14 KB
n86_cubes_summary.json14 KB
n87_cubes_summary.json15 KB
n88_cubes_summary.json14 KB
n89_cubes_summary.json15 KB
n90_cubes_summary.json15 KB
n91_cubes_summary.json15 KB
n92_cubes_summary.json15 KB
n93_cubes_summary.json16 KB
n94_cubes_summary.json15 KB
n95_cubes_summary.json16 KB
n96_cubes_summary.json16 KB
n97_cubes_summary.json16 KB
n98_cubes_summary.json16 KB
n99_cubes_summary.json17 KB
README.md1.1 KB
replay_101_108.json68 KB
replay_73_92.json130 KB
replay_93_100.json62 KB
soundness_n73_d24.json566 B
status_draft.md2.2 KB
summary.json738 B

This folder on GitHub