Check out the manual.

Specification:


Equality:

Auxiliary equalities ( add reflexivity):




Options:
Timeout (in seconds; max 300)