CP-SAT
| Method | Links | |
|---|---|---|
2026.05 | 0 | |
2026.05 | 0.02 | |
2026.05 | 0.2 | |
2026.05 | 0.7 | |
2026.05 | 1.02 | |
2026.05 | 1.7 | |
2026.05 | 2.1 | |
2026.05 | 2.1 | |
2026.05 | 2.7 | |
2026.05 | 2.8 | |
2026.05 | 2.8 | |
2026.05 | 3.9 | |
2026.05 | 4.9 | |
2026.05 | 5.8 | |
2026.05 | 5.81 | |
2026.05 | 6.5 | |
2026.05 | 6.7 | |
2026.05 | 7.06 | |
2026.05 | 7.08 | |
2026.05 | 7.6 | |
2026.05 | 7.74 | |
2026.05 | 7.9 | |
2026.05 | 8.8 | |
2026.05 | 9 | |
2026.05 | 9.14 | |
2026.05 | 9.3 | |
2026.05 | 9.5 | |
2026.05 | 9.6 | |
2026.05 | 9.9 | |
2026.05 | 10.1 | |
2026.05 | 10.6 | |
2026.05 | 11 | |
2026.05 | 11.1 | |
2026.05 | 11.29 | |
2026.05 | 11.32 | |
2026.05 | 11.42 | |
2026.05 | 11.6 | |
2026.05 | 11.6 | |
2026.05 | 12.4 | |
2026.05 | 12.7 | |
2026.05 | 13 | |
2026.05 | 13.6 | |
2026.05 | 13.8 | |
2026.05 | 13.8 | |
2026.05 | 13.95 | |
2026.05 | 14.7 | |
2026.05 | 14.87 | |
2026.05 | 15 | |
2026.05 | 15.2 | |
2026.05 | 15.48 | |
2026.05 | 16.57 | |
2026.05 | 16.67 | |
2026.05 | 16.96 | |
2026.05 | 17.1 | |
2026.05 | 17.5 | |
2026.05 | 17.67 | |
2026.05 | 17.71 | |
2026.05 | 18.38 | |
2026.05 | 18.5 | |
2026.05 | 18.61 | |
2026.05 | 20.36 | |
2026.05 | 20.83 | |
2026.05 | 21.52 | |
2026.05 | 21.54 | |
2026.05 | 22.4 | |
2026.05 | 23.44 | |
2026.05 | 26 | |
2026.05 | 26.5 | |
2026.05 | 30 | |
2026.05 | 31.6 | |
2026.05 | 33 | |
2026.05 | 33.6 |