nissy-core/benchmarks/results_h48.py, branch h48-dfs-improvementsThe "engine" of nissy, including the H48 optimal solver.https://git.tronto.net/nissy-core/atom?h=h48-dfs-improvements2026-01-10T04:04:47ZUpdate benchmarks, letsgoooo!2026-01-10T04:04:47ZSebastiano Trontosebastiano@tronto.net2026-01-10T04:04:47Zurn:sha1:639fabcc7c0b3b56f13b55c480b6c2b406154d4fUpdate benchmark results, but not table yet2026-01-09T06:55:58ZSebastiano Trontosebastiano@tronto.net2026-01-09T06:55:58Zurn:sha1:ca1289e013d2ebad9ded92ffef26fb7f9cc29adfMinor 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