nissy-core/benchmarks, branch h48-dfs-improvements The "engine" of nissy, including the H48 optimal solver. https://git.tronto.net/nissy-core/atom?h=h48-dfs-improvements 2026-01-10T04:43:36Z Update benchmarks.md 2026-01-10T04:43:36Z Sebastiano Tronto sebastiano@tronto.net 2026-01-10T04:43:36Z urn:sha1:b45ce3d076537cfa2bcc2648433fbbc102d4a3d0 Update benchmarks, letsgoooo! 2026-01-10T04:04:47Z Sebastiano Tronto sebastiano@tronto.net 2026-01-10T04:04:47Z urn:sha1:639fabcc7c0b3b56f13b55c480b6c2b406154d4f Update benchmark results, but not table yet 2026-01-09T06:55:58Z Sebastiano Tronto sebastiano@tronto.net 2026-01-09T06:55:58Z urn:sha1:ca1289e013d2ebad9ded92ffef26fb7f9cc29adf Update benchmarks.md and plots 2025-12-19T15:05:49Z Sebastiano Tronto sebastiano@tronto.net 2025-12-19T15:05:49Z urn:sha1:0c5e4730c699ac006feec4efe25c390977fe372f Merge branch 'h48-corner-estimate' 2025-12-19T15:01:14Z Sebastiano Tronto sebastiano@tronto.net 2025-12-19T15:01:14Z urn:sha1:aefecb170f26f0244e3c82d917103ea4ec0bfc2c Minor improvement 2025-12-19T14:59:35Z Sebastiano Tronto sebastiano@tronto.net 2025-12-19T14:59:35Z urn: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. Fix typo in benchmarks 2025-12-19T06:37:30Z Sebastiano Tronto sebastiano@tronto.net 2025-12-19T06:37:30Z urn:sha1:f283c08db86777fe77bdf00d3d70687107a376d9 Clarified that results are in a <details> 2025-12-17T19:53:14Z Sebastiano Tronto sebastiano@tronto.net 2025-12-17T19:53:14Z urn:sha1:ff68d44aefada070b756a1bdbb0d4d722779440d Fix alignment 2025-12-17T16:36:16Z Sebastiano Tronto sebastiano@tronto.net 2025-12-17T16:36:16Z urn:sha1:ec9593e2ff0856d78b37df3a977a753be82bfddc Improve pruning value fetching and re-do benchmarks 2025-12-17T15:15:02Z Sebastiano Tronto sebastiano@tronto.net 2025-12-17T09:51:34Z urn:sha1:ac3a91f4f173e7a38c70d5cd0caf5a025642312b