Termination Competition 2015 Registration: Difference between revisions

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

@@ Line 10: / Line 10: @@
 Compare [[Termination Competition 2014 Registration]]
-IDs for solver and config might get published even before competition.
+Please do send in solver/config Ids, even if they refer to  preliminary versions,
-If you want to keep the solvers secret for now, then put them in a private space and add me (J.W.) to this space.
+or last year's, as I (J.W.) will start testing.
-I will make available publically some results of pre-competition test runs on (random, small) subsets.
+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.
-== Registered Solvers ==
+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
-DO NOT EDIT. Report errors and omissions by email.
+Here are some [[Termination Competition 2015 Bugs| strange outputs of test runs]]
-by category:
+== Registered Solvers ==
-* Java Bytecode: AProVE
+current status is here: http://nfa.imn.htwk-leipzig.de/termcomp-devel/registered/Y2015
-* TRS Standard: muterm, AProVE
-* TRS Standard certified: AProVE
-* SRS Standard: muterm, AProVE
-* SRS Standard certified: AProVE
-* TRS Equational: muterm
-* TRS Conditional: muterm
-* TRS Context-Sensitive: muterm
-* TRS Innermost: muterm
-* Runtime Comp. Innermost: AProVE
-* Runtime Comp. Full: AProVE
-* Prolog: AProVE
-* Haskell: AProVE
-* ITRS: AProVE
-* Integer Transitions: AProVE
-* C/C Integer Programs: AProVE
+== Benchmark submissions ==
-== 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:
-*
+* 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:
-* 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