Ranking Model Checking Backends for Automated Selection via Classification and Regression Learning. - Jannik Dunkelau; Leo Baldus (OVERLAY@GandALF, 2021)