Study¶
| Instance set | Instances | Tasks | Methods |
|---|---|---|---|
| Xu–Wang, integer leader | 180 | 3,420 | 19 |
| Knapsack interdiction, integer leader | 180 | 3,420 | 19 |
| Xu–Wang, continuous leader | 180 | 2,880 | 16 |
| Knapsack interdiction, continuous leader | 180 | 2,880 | 16 |
- Design: instances, piecewise-linear construction, and settings.
- Overview: outcomes per method.
- ECDF: share of tasks proved over time or IOM iterations.
- Heat maps: proof rate and IOM iterations per (q, p).
- Instance explorer: every instance with all methods side by side.
- Pairwise scatter: two methods on the same instances.
- Integer vs continuous: the same instances with both leader types.
- Supplementary results: model size, final gaps, big-M parameters, IOM master size.
- Downloads: the instances and the overview tables.