automata-based language containment checks can take too much time
Jacopo Binchi sent an email with a formula for which the following command would take too long.
ltl2tgba -S -D <gb_formula.ltl
It appears that most of the time is spent doing automata-based language containment for LTL simplification. Disabling those with -x tls-simpl=1
allows the formula to be translated instantaneously.
We need to look into those language containment check to see exactly why they take that much time, and how we can reduce them. Maybe disabling them by default is an option as well. Maybe we can add another threshold variable.