Diabolo can run both semantics from the paper (Residual Mass Semantics & Geometric Bound Semantics). It also includes the benchmarks from the paper and scripts to reproduce the reported data (i.e.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results