Test ranking of implementations by the solver