-
Glen Mével authored
added results, including benchmarks before/after tweaking the search strategy (TODO: compute up-to-date results for N = 10, 11, 12)
2b88d12f
added results, including benchmarks before/after tweaking the search strategy (TODO: compute up-to-date results for N = 10, 11, 12)