files / problems / unit-distance-509 / compute

..
509_parts.vtx25 KB
510_heule.vtx25 KB
candidates.json227 KB
check_certificate.py2.1 KB
check_gv_coloring.py1.4 KB
color_sat.py5.7 KB
color509.cnf131 KB
color509.core.cnf118 KB
color509.json170 B
color509.rebuilt.cnf131 KB
coloring_Gminus_310.txt1.0 KB
coloring_Gminus_313.txt1.0 KB
coloring_Gminus_316.txt1.0 KB
coloring_Gminus_319.txt1.0 KB
coloring_Gminus_322.txt1.0 KB
coloring_Gminus_325.txt1.0 KB
critical_deg4.json884 B
double_swap_d5adj.jsonl7.3 KB
double_swap_deg4.jsonl1.1 MB
double_swap_noadj.jsonl310 KB
double_swap.jsonl50 B
double_swap.py4.8 KB
edges_509.txt23 KB
edges_510.txt23 KB
emit_colorings.py1.8 KB
expand_reduce.jsonl2.9 KB
expand_reduce.py7.0 KB
extras_v310.vtx222 B
lattice.py3.7 KB
max_extras_swap.py4.3 KB
max_extras.jsonl191 B
rank_candidates.py3.3 KB
README.md1.3 KB
run_verify.sh738 B
search_summary.json1.8 KB
shrink_514_summary.json137 B
shrink_514.jsonl61 KB
shrink_incr.py4.8 KB
shrink_singles_summary.json133 B
shrink_singles.jsonl60 KB
shrink.jsonl103 B
shrink.py5.7 KB
STORAGE.md650 B
swap_reduce.jsonl8.1 KB
swap_reduce.py6.4 KB
swap_reduced.vtx23 KB
swap_v310_e6.vtx23 KB
targeted_swap.py5.2 KB
udg.py19 KB
verify_509.json542 B
verify_510.json543 B
verify_514.json558 B
verify_graph.py3.1 KB

This folder on GitHub