nissy-core/src/solvers/h48/solve.h, branch threadsThe "engine" of nissy, including the H48 optimal solver.https://git.tronto.net/nissy-core/atom?h=threads2026-03-01T15:49:10ZC11 threads!2026-03-01T15:49:10ZSebastiano Trontosebastiano@tronto.net2026-03-01T15:49:10Zurn:sha1:f683405c7e9e0d62a8ca90ba898af1c5e2786ebfC11 threads?2026-03-01T16:26:58ZSebastiano Trontosebastiano@tronto.net2026-03-01T16:26:58Zurn:sha1:e68606ff95db6e31585706278b034250555bbe14Improve 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:ac3a91f4f173e7a38c70d5cd0caf5a025642312bMove some checks around, small improvement2025-12-17T06:58:32ZSebastiano Trontosebastiano@tronto.net2025-12-17T06:58:32Zurn:sha1:ad9c99d0274b09b152007332cef589f5e649080aCleanup, update documentation, fix examples2025-12-14T15:09:31ZSebastiano Trontosebastiano@tronto.net2025-12-14T14:12:36Zurn:sha1:bcd52547af58b15868e24f3904e307548d1fd505Bye bye h0k42025-12-14T11:23:33ZSebastiano Trontosebastiano@tronto.net2025-12-14T11:20:37Zurn:sha1:21fdf9697ddfab0a9c082a91ae0a79b1b574774cIntertwined table seems to work2025-12-14T09:26:34ZSebastiano Trontosebastiano@tronto.net2025-12-13T18:16:32Zurn:sha1:b25989e47adfadabcf0dabfd58d615622887cee0Fix duplicate solutions, overflow in maxsols and improve symmetry reduction for H48.2025-11-24T15:32:11ZSebastiano Trontosebastiano@tronto.net2025-11-23T15:16:31Zurn:sha1:147b0c3c4615c32478a4923242909b8ae5a30d03
This commit fixes two bugs:
- A bug that caused duplicates solutions for symmetric scrambles.
- An overflow in the maxsols parameter for the H48 solver, which
caused it to find much fewer solutions than existed.
Moreover, the H48 solvers has been improved by reducing by symmetry not
only from the starting position, but also up to the first 4 moves.