FPBench Logo

FPBench Benchmarks

Standard benchmarks for floating-point research

FPBench includes a suite of benchmarks, drawn from published floating-point research.

Benchmark sources
Rosa37
Herbie28
Salsa25
FPTaylor21
Features used
Arithmetic111
Temporaries57
Comparison33
Loops28
Exponents16
Trigonometry15
Conditionals10
Domains
Textbooks28
Mathematics24
Controls10
Science10
(unknown)39

These benchmarks have been contributed by multiple research groups. These contributions are listed here in chronological order. Each listed paper has all its evaluation examples incorporated into FPBench.

For each benchmark, FPBench records its name (preferably as used in a paper), descriptive information such as citations, and finally semantic metadata such as the precision used and preconditions.

The CPU group at the University of Utah

Features used
Arithmetic21
Temporaries9
Exponents3
Trigonometry2
Domains
(unknown)21

The Center for Parallel Computing at Utah group's FPTaylor project contributed 21 benchmarks, many short textbook examples and mathematical computations.

The AVA group at the Max Plank Institute for Software Systems

Features used
Arithmetic37
Temporaries23
Comparison8
Conditionals5
Loops3
Exponents1
Trigonometry1
Domains
Science10
Mathematics5
Controls4
(unknown)18

The Automated Verification and Approximation group's Rosa project contributed 37 benchmarks, mostly drawn from scientific computations and control theory.

The LAMPS group at the Université de Perpignan Via Domitia

Features used
Arithmetic25
Temporaries25
Loops25
Comparison25
Conditionals5
Trigonometry4
Domains
Mathematics19
Controls6

The Laboratoire de Mathématiques et de Physique group's Salsa project contributed 25 benchmarks, all programs with loops drawn from mathematical algorithms and control theory.

The PLSE group at the University of Washington

Features used
Arithmetic28
Exponents12
Trigonometry8
Domains
Textbooks28

The Programming Languages and Software Engineering group's Herbie project contributed 28 benchmarks, mostly drawn from Richard Hamming's Numerical Methods for Scientists and Engineers.