Commit History

Author SHA1 Message Date
  Florian Kohlmayer 06406f471c Rework metrics in preparation of pruning based on lower bounds 10 years ago