files / problems / kissing-5d / compute / q5
| .. | |
| construct_more.json | 4.8 KB |
| construct_more.py | 21 KB |
| dual_more.json | 4.5 KB |
| dual_more.py | 8.5 KB |
| dump_t5.py | 986 B |
| extras_clique.c | 9.4 KB |
| extras_clique.json | 292 B |
| extras_types.json | 954 B |
| extras_types.py | 4.7 KB |
| four_star_census.json | 602 B |
| four_star_census.py | 2.3 KB |
| n1_leftover_sat.py | 7.3 KB |
| n1_partcount.json | 16 KB |
| n1_partcount.py | 12 KB |
| n1_struct.json | 9.3 KB |
| n1_struct.py | 23 KB |
| README.md | 1.7 KB |
| run_all.sh | 1.2 KB |
| seed_graph.json | 3.3 KB |
| seed_graph.py | 11 KB |
| t5_36_drat_trim.txt | 437 B |
| t5_36_proof.json | 1.3 KB |
| t5_36_proof.py | 4.5 KB |
| t5_degeneracy.json | 3.4 KB |
| t5_degeneracy.py | 15 KB |
| t5_native_proof.sh | 698 B |
| t5_published.json | 1.8 KB |
| t5_share_pruned.json | 6.7 KB |
| t5_share_pruned.py | 9.1 KB |
| t5_share.c | 7.8 KB |
| t5_share23.json | 947 B |
| triple_star_extras.json | 43 KB |
| triple_star_extras.py | 9.7 KB |
| type_a_clique.json | 330 B |
| type_a_clique.py | 2.5 KB |
| type_a_small_U.json | 993 B |
| type_a_small_U.py | 10.0 KB |
| verify.py | 5.6 KB |