nissy-core/benchmarks/results_h48.py, branch c-portabilityThe "engine" of nissy, including the H48 optimal solver.https://git.tronto.net/nissy-core/atom?h=c-portability2026-01-12T17:09:43ZImprove performance of H48 solver with prefetching2026-01-12T17:09:43ZSebastiano Trontosebastiano@tronto.net2026-01-12T17:09:43Zurn:sha1:9a013b7c68f94e6be0fe8748c9012a441fe0273f
With this commit we re-structure how the node expansion in the
H48 solution search works to allow prefetching of pruning values,
showing performance improvements in the range of 30-45% on x86,
depending on table size and solution length.
A small bug fix related to appending solutions is included in this commit.
Minor improvement2025-12-19T14:59:35ZSebastiano Trontosebastiano@tronto.net2025-12-19T14:59:35Zurn:sha1:b7bb88cd6eb2a8c8e3f26e276ab849d52168668a
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 benchmarks2025-12-17T15:15:02ZSebastiano Trontosebastiano@tronto.net2025-12-17T09:51:34Zurn:sha1:ac3a91f4f173e7a38c70d5cd0caf5a025642312bUpdate benchmarks2025-12-17T08:26:53ZSebastiano Trontosebastiano@tronto.net2025-12-17T08:26:53Zurn:sha1:36f37564cd566e91771cd1f92ac3886917c769d1