  Interval computation is widely used to certify computations that use floating
point operations to avoid pitfalls related to rounding error introduced by
inaccurate operations. Despite its popularity and practical benefits, support
for interval arithmetic is not standardized nor available in mainstream
programming languages. We propose the first benchmark for interval
computations, coupled with reference solutions computed with exact arithmetic,
and compare popular C and C++ libraries over different architectures, operating
systems, and compilers. The benchmark allows identifying limitations in
existing implementations, and provides a reliable guide on which library to use
on each system. We believe that our benchmark will be useful for developers of
future interval libraries, as a way to test the correctness and performance of
their algorithms.
