aboutsummaryrefslogtreecommitdiff
path: root/benchmarks/results_h48.py (follow)
Commit message (Collapse)AuthorAgeFilesLines
* Minor improvementSebastiano Tronto2025-12-191-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.
* Improve pruning value fetching and re-do benchmarksSebastiano Tronto2025-12-171-24/+24
|
* Update benchmarksSebastiano Tronto2025-12-171-0/+36

Generated with cgit - Back to sebastiano.tronto.net