Text this: Towards Ranking Geometric Automated Theorem Provers