| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Update benchmarks, letsgoooo! | Sebastiano Tronto | 2026-01-10 | 1 | -24/+24 |
| | | |||||
| * | Update benchmark results, but not table yet | Sebastiano Tronto | 2026-01-09 | 1 | -24/+24 |
| | | |||||
| * | Minor improvement | Sebastiano Tronto | 2025-12-19 | 1 | -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 benchmarks | Sebastiano Tronto | 2025-12-17 | 1 | -24/+24 |
| | | |||||
| * | Update benchmarks | Sebastiano Tronto | 2025-12-17 | 1 | -0/+36 |
