@sdaftuar mentioned that there exists some tool to benchmark mining performance. See https://botbot.me/freenode/bitcoin-core-dev/2018-07-20/?msg=102302481&page=3 We should evaluate if it can be run by the performance monitor on a regular basis.