Design and Implementation of a Benchmarking System Based on ArangoDB