Termination Competition 2015 Registration: Difference between revisions
J.waldmann (talk | contribs) |
J.waldmann (talk | contribs) |
||
| (15 intermediate revisions by 2 users not shown) | |||
| Line 16: | Line 16: | ||
If you want to keep the solvers secret for now, then put them in a private space and add me to this space. | 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). | I will make available publically some results of pre-competition test runs (on random, small subsets): | ||
http://nfa.imn.htwk-leipzig.de/termcomp-devel/competitions | |||
Here are some [[Termination Competition 2015 Bugs| strange outputs of test runs]] | |||
== Registered Solvers == | == Registered Solvers == | ||
current status is here: http://nfa.imn.htwk-leipzig.de/termcomp-devel/registered/Y2015 | |||
== Benchmark submissions == | |||
Submit benchmarks to René Thiemann. | |||
DO NOT EDIT. Report errors and omissions by email. | DO NOT EDIT HERE. Report errors and omissions by email. | ||
received: | received: | ||
* | * Runtime Complexity Innermost: Bugfix reported by Florian Frohn | ||
* C: Typo corrections (discussed on termtools list) | |||
* Runtime Complexity Innermost: Patches and new benchmarks from Martin Avanzini and Michael Schaper | |||
* C: Patches from Matthias Heizmann | |||
* C: Renaming from Thomas Ströder | |||
* TRS relative: by Akihisa Yamada | |||
announced: | 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 (?) | |||
wanted: | |||
* C Integer Transitions: http://lists.lri.fr/pipermail/termtools/2015-July/000997.html | |||
postponed (that is, submission will not happen before 2015 competition) | |||
* SRS Standard: set of one-rule SRS, by Mario Wenzel | |||
Latest revision as of 08:47, 29 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): http://nfa.imn.htwk-leipzig.de/termcomp-devel/competitions
Here are some strange outputs of test runs
Registered Solvers
current status is here: http://nfa.imn.htwk-leipzig.de/termcomp-devel/registered/Y2015
Benchmark submissions
Submit benchmarks to René Thiemann.
DO NOT EDIT HERE. Report errors and omissions by email.
received:
- Runtime Complexity Innermost: Bugfix reported by Florian Frohn
- C: Typo corrections (discussed on termtools list)
- Runtime Complexity Innermost: Patches and new benchmarks from Martin Avanzini and Michael Schaper
- C: Patches from Matthias Heizmann
- C: Renaming from Thomas Ströder
- TRS relative: by Akihisa Yamada
announced:
- TRS Standard: test cases related to non-termination, by Jörg Endrullis
- Integer Transitions: repaired versions of translated problems (?)
wanted:
- C Integer Transitions: http://lists.lri.fr/pipermail/termtools/2015-July/000997.html
postponed (that is, submission will not happen before 2015 competition)
- SRS Standard: set of one-rule SRS, by Mario Wenzel