Instance explorer

One row per instance, one column per method. Symbols: ✓ proved, ◐ incumbent, ○ none. Proved cells show the solver time in seconds; hover a cell for status, objective, and time. Filter, sort by clicking a header, and export the selection as CSV.