| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Clarified that results are in a <details>intertwined-fallback-table | Sebastiano Tronto | 2025-12-17 | 1 | -1/+1 |
| * | Fix alignment | Sebastiano Tronto | 2025-12-17 | 1 | -0/+5 |
| * | Improve pruning value fetching and re-do benchmarks | Sebastiano Tronto | 2025-12-17 | 14 | -72/+73 |
| * | Cleanup md | Sebastiano Tronto | 2025-12-17 | 2 | -19/+21 |
| * | Update benchmarks | Sebastiano Tronto | 2025-12-17 | 20 | -196/+449 |
| * | Fix duplicate solutions, overflow in maxsols and improve symmetry reduction f... | Sebastiano Tronto | 2025-11-24 | 1 | -32/+32 |
| * | Renamed UNIX build script to build.sh, added info to README.md related to win... | Sebastiano Tronto | 2025-08-12 | 1 | -1/+1 |
| * | Add small comments on benchmark results | Sebastiano Tronto | 2025-06-19 | 1 | -0/+8 |
| * | Fix pictures in benchmarks, maybe | Sebastiano Tronto | 2025-06-19 | 1 | -12/+12 |
| * | Added plots to benchmark | Sebastiano Tronto | 2025-06-19 | 14 | -0/+106 |
| * | Added benchmarks for all solutions | Sebastiano Tronto | 2025-06-19 | 1 | -67/+19 |
| * | Add benchmark results | Sebastiano Tronto | 2025-06-19 | 7 | -0/+401 |
