CP-SAT
| Method | Links | ||
|---|---|---|---|
2026.05 | 1.8 | - | |
2026.05 | 1.9 | - | |
2026.05 | 2.5 | - | |
2026.05 | 3.8 | - | |
2026.05 | 4.1 | - | |
2026.05 | 4.4 | - | |
2026.05 | 4.6 | - | |
2026.05 | 4.8 | - | |
2026.05 | 9.34 | - | |
2026.05 | 10.6 | - | |
2026.05 | 10.9 | - | |
2026.05 | 11.01 | - | |
2026.05 | 11.3 | - | |
2026.05 | 12.3 | - | |
2026.05 | 13.3 | - | |
2026.05 | 13.4 | - | |
2026.05 | 14 | - | |
2026.05 | 14.36 | - | |
2026.05 | 14.61 | - | |
2026.05 | 14.8 | - | |
2026.05 | 15 | - | |
2026.05 | 15.16 | - | |
2026.05 | 15.7 | - | |
2026.05 | 15.8 | - | |
2026.05 | 16.18 | - | |
2026.05 | 16.9 | - | |
2026.05 | 17.19 | - | |
2026.05 | 17.5 | - | |
2026.05 | 18 | - | |
2026.05 | 18.24 | - | |
2026.05 | 19.29 | - | |
2026.05 | 19.4 | - | |
2026.05 | 20.47 | - | |
2026.05 | 20.57 | - | |
2026.05 | 21.15 | - | |
2026.05 | 21.8 | - | |
2026.03 | 22.2 | 3,472.6 | |
2026.05 | 22.2 | - | |
2026.05 | 22.32 | - | |
2026.05 | 22.4 | - | |
2026.05 | 22.48 | - | |
2026.05 | 22.84 | - | |
2026.05 | 23.25 | - | |
2026.03 | 23.7 | 3,023.8 | |
2026.05 | 24.06 | - | |
2026.05 | 25.29 | - | |
2026.05 | 25.7 | - | |
2026.03 | 26.3 | 5,950.6 | |
2026.05 | 26.38 | - | |
2026.03 | 26.5 | 4,871.2 | |
2026.05 | 26.84 | - | |
2026.03 | 27.8 | 3,879 | |
2026.05 | 27.88 | - | |
2026.03 | 28.3 | 4,248.4 | |
2026.03 | 29.2 | 5,240.9 | |
2026.03 | 31.8 | 6,227.3 | |
2026.03 | 35.4 | 4,871.2 | |
2026.05 | 35.6 | - | |
2026.03 | 36.2 | 5,950.6 | |
2026.05 | 36.5 | - | |
2026.03 | 37.7 | 3,472.6 | |
2026.05 | 37.7 | - | |
2026.03 | 38.8 | 6,227.3 | |
2026.03 | 39 | 3,023.8 | |
2026.05 | 39 | - | |
2026.03 | 39.4 | 5,240.9 | |
2026.03 | 39.5 | 4,248.4 | |
2026.05 | 39.5 | - | |
2026.05 | 39.6 | - | |
2026.05 | 39.7 | - | |
2026.03 | 40.78 | 5,950.6 | |
2026.03 | 41.9 | 3,879 | |
2026.05 | 42 | - | |
2026.03 | 44.7 | 4,871.2 | |
2026.03 | 45.2 | 3,472.6 | |
2026.03 | 47.1 | 3,879 | |
2026.03 | 48.94 | 5,950.6 | |
2026.03 | 49.2 | 3,023.8 | |
2026.03 | 49.2 | 5,240.9 | |
2026.03 | 49.6 | 6,227.3 | |
2026.03 | 50.38 | 5,950.6 | |
2026.03 | 51.4 | 4,871.2 | |
2026.03 | 52 | 4,248.4 | |
2026.03 | 52.5 | 3,472.6 | |
2026.03 | 52.55 | 5,950.6 | |
2026.03 | 52.9 | 4,871.2 | |
2026.03 | 53.6 | 3,023.8 | |
2026.03 | 54.1 | 3,879 | |
2026.03 | 55.5 | 5,240.9 | |
2026.03 | 55.9 | 4,871.2 | |
2026.03 | 56.4 | 6,227.3 | |
2026.03 | 57.3 | 6,227.3 | |
2026.03 | 58.2 | 3,472.6 | |
2026.03 | 60.1 | 4,248.4 | |
2026.03 | 60.9 | 3,879 | |
2026.03 | 61.1 | 5,240.9 | |
2026.03 | 62.1 | 3,023.8 | |
2026.03 | 62.2 | 6,227.3 | |
2026.03 | 62.6 | 3,879 | |
2026.03 | 63 | 5,240.9 |