Isabelle ENIGMA
(
example TFF input
)
Timeout (maximum 120s)