aboutsummaryrefslogtreecommitdiff
path: root/benchmarks/results_h48.py (unfollow)
Commit message (Collapse)AuthorFilesLines
2026-01-09Update benchmark results, but not table yetSebastiano Tronto1-24/+24
2025-12-19Minor improvementSebastiano Tronto1-24/+24
Add a trivial check to H48 solver. The benchmarks show, surprisingly, a more noticeable improvement for larger solvers (h10, h11). I was expecting it to be more noticeable for smaller solvers. It is likely that this change is irrelevant to performance and all changes in the benchmark results are just random chance.
2025-12-17Improve pruning value fetching and re-do benchmarksSebastiano Tronto1-24/+24
2025-12-17Update benchmarksSebastiano Tronto1-0/+36

Generated with cgit - Back to sebastiano.tronto.net