Skip to content

show perf statistics - #85

Merged
svigerske merged 9 commits into
mainfrom
parse-scip-perf
Jul 31, 2026
Merged

show perf statistics#85
svigerske merged 9 commits into
mainfrom
parse-scip-perf

Conversation

@svigerske

@svigerske svigerske commented Jul 27, 2026

Copy link
Copy Markdown
Member
  • in comparison API call, return also normalized time and nodes and data for subset of affected instances
  • fix comparison API call to handle case where all-optimal set is empty (e.g., all instances timeout).
  • add a second "Detailed Data" table with statistics collected by perf
  • reorganize "Detailed Data" columns to put useful data front, drop type
  • add additional evaluations that compare perf statistics
  • add normalized time to already existing evaluations

@svigerske svigerske self-assigned this Jul 27, 2026
@svigerske
svigerske force-pushed the parse-scip-perf branch 2 times, most recently from aaa21b7 to fd4b6a8 Compare July 28, 2026 17:48
@svigerske
svigerske marked this pull request as ready for review July 28, 2026 18:32
@svigerske
svigerske force-pushed the parse-scip-perf branch 2 times, most recently from f32c7d5 to c85d403 Compare July 30, 2026 13:34
- reorder detailed data table columns and simplify
  - move status, nodes, and time to front
  - remove useless problem type column
  - no need for add_cols
  - store key in cols and get from there
- add a second details table with numbers from perf
- return normalized time
- return nodes
- return for affected instances
@svigerske
svigerske merged commit de81276 into main Jul 31, 2026
1 check passed
@svigerske
svigerske deleted the parse-scip-perf branch July 31, 2026 09:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant