Isabelle ENIGMA
(
example TFF input
)
Timeout (maximum 120s)
Premise threshold
Run ATP
Premsel only
HTML mode
TEXT mode