Data related to the ARLBench benchmark: performance data, ranking, benchmarking and so on.