Which is faster, grind or ring

Stream: mathlib4

[Cookie Guy]

A lot of the time, things that can be solved by ring can also be solved by grind, so I am wondering which is better/faster for the user to compile

[Nick Adfor]

I've never seen how to test them...... Just some docs.
https://lean-lang.org/doc/reference/latest/The--grind--tactic/,
https://www.ma.imperial.ac.uk/~buzzard/xena/formalising-mathematics-2022/Part_C/tactics/ring.html

[Kim Morrison]

#time

[Violeta Hernández]

Regardless of speed, I'd recommend using ring for goals about rings, because that conveys the proof intent better. If hypothetically ring were substantially slower than grind, we could later reimplement it as a sort of special case.