Optimization Modeling on ComplexOR (Efficiency Metrics)
85.7Inference TimeOpt-Verifier
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| Opt-Verifier2026.05 | 85.7 | 10.1 | 9,123.5 | |
| CoE2026.05 | 105.3 | 17.5 | 10,574.6 | |
| OptiMUS2026.05 | 110.4 | 16.2 | 11,520.2 |
Loading the SOTA2 catalog…
| Method | Links | |||
|---|---|---|---|---|
| Opt-Verifier2026.05 | 85.7 | 10.1 | 9,123.5 | |
| CoE2026.05 | 105.3 | 17.5 | 10,574.6 | |
| OptiMUS2026.05 | 110.4 | 16.2 | 11,520.2 |