Maintains a list of experimental results. Each operating point is a (perf, t, key) triplet, where higher perf and lower t is better. The key field is an arbitrary identifier for the operating point.
Includes primitives to extract the Pareto-optimal operating points in the (perf, t) space.
performance measure (output of a Criterion)
corresponding execution time (ms)
key that identifies this op pt
- double perf