another case where ltl2tgba produces different outputs depending on the history
The last line of the output of each of the following three commands ought to be the same. Those large discrepancies are alarming.
% genltl --ms-phi-r=2 --ms-phi-s=2 | ltl2tgba -G -D --stats=%s
25
642
% genltl --ms-phi-s=2 | ltl2tgba -G -D --stats=%s
1238
% genltl --ms-phi-s=1..2 | ltl2tgba -G -D --stats=%s
7
1322
I can't reproduce the issue without -G -D
so I'm inclined to think it's related to the way tgba_determinize()
works. Maybe it relies on some BDD order that has been altered by a previous translation?