[Termtools] starexec/termcomp testing, post-processors?

starexec seems up and running again. what are (names/ids of) the postprocessors (uncertified/certified) that will be used in competition (that we can use for tests)? do we have some nodes assigned for testing? (a recommendation about what nodes to use, and how long will they be available) I forgot details about how provers are run - will they be seeing the input (termination problem) with the correct file extension (.ari)? assuming starexec is stable now - what is the submission deadline? E.g., after this week-end? I am very much not ready ... - Johannes.