Hi,
I think there is a bug in the manual of ltlcross. There is the paragraph
If the translator produced a Streett or Rabin automaton, these columns contains the size of a TGBA (or BA) produced by ltlcross from that Streett or Rabin automaton. Check in_states, in_edges, in_transitions,
and in_acc for statistics about the actual input automaton.
which seems no longer to be valid as I have no such columns in the output files created by ltlcross v. 2.4.4.
Best, Fanda Blahoudek