Termination Competition 2015 Registration: Difference between revisions
J.waldmann (talk | contribs) |
J.waldmann (talk | contribs) |
||
| Line 20: | Line 20: | ||
== Registered Solvers == | == Registered Solvers == | ||
current status is here: http://nfa.imn.htwk-leipzig.de/termcomp-devel/registered/Y2015 | |||
== Benchmark submissions == | == Benchmark submissions == | ||
Revision as of 08:30, 6 July 2015
General
Registration process is like it was last year. In short,
- get a starexec account, upload your solver
- send email to J. Waldmann with:
- categories that you want to enter,
- and for each category, the starexec IDs of your solver and config.
Compare Termination Competition 2014 Registration
Please do send in solver/config Ids, even if they refer to preliminary versions, or last year's, as I (J.W.) will start testing.
These IDs for solver and config might get published even before competition. If you want to keep the solvers secret for now, then put them in a private space and add me to this space.
I will make available publically some results of pre-competition test runs (on random, small subsets).
Registered Solvers
current status is here: http://nfa.imn.htwk-leipzig.de/termcomp-devel/registered/Y2015
Benchmark submissions
DO NOT EDIT. Report errors and omissions by email.
received:
announced:
- SRS Standard: set of one-rule SRS, by Mario Wenzel
- TRS Standard: test cases related to non-termination, by Jörg Endrullis
- Integer Transitions: repaired versions of translated problems (?)