From ec9593e2ff0856d78b37df3a977a753be82bfddc Mon Sep 17 00:00:00 2001 From: Sebastiano Tronto Date: Wed, 17 Dec 2025 17:36:16 +0100 Subject: Fix alignment --- benchmarks/benchmarks.md | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'benchmarks') diff --git a/benchmarks/benchmarks.md b/benchmarks/benchmarks.md index adc3377..ddcb91f 100644 --- a/benchmarks/benchmarks.md +++ b/benchmarks/benchmarks.md @@ -247,3 +247,8 @@ Time per cube adjusted for table size (in seconds \* GiB, lower is better). * For H48, both GCC and Clang have been tried, with the same options; the resulting executable was about 10% faster with GCC compared to Clang. vcube only supports compiling with Clang. +* The performance of the H48 solver depends slightly, but measurably, on the + alignment of the pruning table in memory. This is not handled by the core + library, but by the program that uses it. For these tests, we have used as + reference implementation the program in `tools/301_solve_file`, which + ensures 64-byte alignment. -- cgit v1.3