Benchmark tools for solvers - View it on GitHub