solver-benchmark.energy