Integer Programming on IMO6
1.23SGM Score (g=10^-5)EVOCUT
Evaluation Results
| Method | Links | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| EVOCUTbaseline_solver=Gurobi, time_limit=2000 s, shift=s=12025.08 | 1.23 | — | — | 1.23 | — | 1.23 | — | 1.24 | — | 1.39 |
Loading the SOTA2 catalog…
| Method | Links | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
| EVOCUTbaseline_solver=Gurobi, time_limit=2000 s, shift=s=12025.08 | 1.23 | — | — | 1.23 | — | 1.23 | — | 1.24 | — | 1.39 |