Author here - happy to answer questions about our methodology with IMDBench [0]. Definitely encourage everyone to try running the suite locally too. [1]
[0] https://github.com/edgedb/imdbench
[1] https://github.com/edgedb/imdbench/blob/master/DEVELOP.rst
