Optimization Modeling on MAMO
67.6Inference TimeOpt-Verifier
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| Opt-Verifier2026.05 | 67.6 | 9.1 | 7,385.2 | |
| Opt-Verifier2026.05 | 67.6 | 9.1 | 7,385.2 | |
| CoE2026.05 | 72.5 | 15.7 | 7,705 | |
| CoE2026.05 | 72.5 | 15.7 | 7,705 | |
| OptiMUS2026.05 | 80.3 | 13.8 | 8,248.4 | |
| OptiMUS2026.05 | 80.3 | 13.8 | 8,248.4 |