CP-SAT
| Method | Links | ||
|---|---|---|---|
2026.05 | 0.02 | - | |
2026.03 | 0.1 | - | |
2026.05 | 9.14 | - | |
2026.03 | 15.74 | - | |
2026.05 | 16.96 | - | |
2026.05 | 19.15 | - | |
2026.03 | 20.1 | - | |
2026.05 | 20.53 | - | |
2026.05 | 25.89 | - | |
2026.03 | 26 | - | |
2026.05 | 27.91 | - | |
2026.05 | 34.88 | - | |
2026.05 | 40.93 | - | |
2026.03 | 45 | - | |
2026.03 | 47.1 | - | |
2026.03 | 54.8 | - | |
2026.03 | 56.7 | - | |
2026.03 | - | 1,233.9 |