Benchmarks

Basin's benchmark suite is divided into three parts: backends, solvers, and competitors.