Dear Johannes, dear all,
starexec seems up and running again.
As far as I know, just new.q is available, the others are supposed to be back online in the next days.
what are (names/ids of) the postprocessors (uncertified/certified) that will be used in competition (that we can use for tests)?
Since StarExec was offline, I could only test the postprocessors locally so far. I'll start testing them on StarExec today, and I'll let you know when they are ready.
do we have some nodes assigned for testing? (a recommendation about what nodes to use, and how long will they be available)
When all nodes are updated, some of them should be available in termcomp.q. However, if I recall correctly from the previous years, they are only available to "community leaders". So I think the tools should be tested on the publicly available queues. As far as I know, the nodes in termcomp.q (which will be used for the competition) are identical to those in all.q and long.q, but not to those in new.q. I asked Aaron to confirm this. So I think new.q can be used to check if your solver works on StarExec at all. To get (more or less) the same results as in the competition, all.q or long.q should be used instead.
I forgot details about how provers are run - will they be seeing the input (termination problem) with the correct file extension (.ari)?
As far as I remember (and judging from some old configurations that were used last year), the input files are renamed, but the file extension is preserved.
assuming starexec is stable now - what is the submission deadline? E.g., after this week-end? I am very much not ready ...
Since the situation is somewhat chaotic due to the update, lets be pragmatic w.r.t. the deadline: I want to start the first run on Monday, 24th, in the morning, so I'd like to be ready with the setup on Friday, 21st, in the afternoon. So please try to submit until 21st, 10am CEST. If the 21st is approaching and you're running out of time, please get in touch. Best Florian
_______________________________________________ Termtools mailing list -- termtools@lists.rwth-aachen.de To unsubscribe send an email to termtools-leave@lists.rwth-aachen.de