  We present \texttt{muRelBench}, a suite of synthetic benchmarks for
weakly-relational abstract domains and their operations. For example, the
benchmarks can support experimental evaluations of proposed algorithms such as
domain closure.
