files / problems / covering / compute / q4
| .. | |
| groups/ | |
| best_lifted_config.cols | 270 B |
| best_sa_config.cols | 273 B |
| dedupe_optima.py | 2.1 KB |
| find_equivalence.py | 5.1 KB |
| gen_groups.py | 9.0 KB |
| harvest_optima.sh | 1.0 KB |
| kswap.c | 18 KB |
| kswap5_lifted.log | 285 B |
| kswap5_sa.log | 354 B |
| make_kswap_tests.py | 2.8 KB |
| naive_enum.c | 5.1 KB |
| orbit_dfs.c | 22 KB |
| orbit_runs.log | 26 KB |
| q4_lifted_checkpoint.json | 1.3 KB |
| q4_search_checkpoint.json | 1.2 KB |
| run_all_groups.sh | 1.2 KB |
| sat_n49.log | 37 B |
| sat_n49.py | 2.7 KB |
| test_corrupt1.cols | 265 B |
| test_corrupt2.cols | 263 B |
| test_corrupt3.cols | 261 B |
| test_corrupt4.cols | 259 B |
| verify_config.py | 2.0 KB |