My favorite comment from the comparison page

https://kb.askmonty.org/en/mariadb-vs-mysql-compatibility/

"Timings may be different as MariaDB is in many cases faster than MySQL. "