parse perf statistics from scip .out files - #3

Merged

svigerske merged 7 commits into

mainfrom

parse-scip-perf

Jul 30, 2026

Commits on May 28, 2026

add parsing of normalized time from @10 in scip .out
svigerske
committed
845a9fd

Commits on Jul 27, 2026

Commits on Jul 30, 2026

avoid _ and . in keys
svigerske
committed
3a0d4eb