Note: we encourage you to submit dual bounds to a problem if you
have them. However, in contrast to primal solutions, we
cannot check dual bounds for validity, which is why dual bounds are
only listed here together with their contributor.