LTL->DPA case where default translation is very bad
% genltl --ms-phi-s=0..3 | ltl2tgba -P -D --stats=%s
3
7
375
5655
Surprisingly, disabling simulation-based reductions actually reduces the size:
% genltl --ms-phi-s=0..3 | ltl2tgba -P -D -x simul=0 --stats=%s
3
6
196
4663
Going to TELA before running to_parity
seems much better:
% genltl --ms-phi-s=0..3 | ltl2tgba -G -D | autfilt -P -D --stats=%s
1
2
62
1612