Optimization Modeling on ComplexLP (Efficiency Metrics)
68.2Inference TimeOpt-Verifier
Evaluation results
| Method | Links | |||
|---|---|---|---|---|
| Opt-Verifier2026.05 | 68.2 | 9.4 | 8,457.4 | |
| CoE2026.05 | 98.6 | 16.6 | 9,469.8 | |
| OptiMUS2026.05 | 101.3 | 15.3 | 10,796.1 |
| Method | Links | |||
|---|---|---|---|---|
| Opt-Verifier2026.05 | 68.2 | 9.4 | 8,457.4 | |
| CoE2026.05 | 98.6 | 16.6 | 9,469.8 | |
| OptiMUS2026.05 | 101.3 | 15.3 | 10,796.1 |