Difference between revisions of "Termination Competition 2015 Registration"

From Termination-Portal.org
Jump to navigationJump to search
 
(14 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 ==
  
DO NOT EDIT. Report errors and omissions by email.
+
current status is here: http://nfa.imn.htwk-leipzig.de/termcomp-devel/registered/Y2015
  
by category:
+
== Benchmark submissions ==
  
* TRS Standard: muterm, AProVE, matchbox
+
Submit benchmarks to René Thiemann.
* TRS Standard certified: AProVE
 
* SRS Standard: muterm, AProVE, matchbox
 
* SRS Standard certified: AProVE
 
* TRS Equational: muterm
 
* TRS Conditional: muterm
 
* TRS Context-Sensitive: muterm
 
* TRS Innermost: muterm
 
* Higher Order: Wanda
 
* Derivational Comp. Full: matchbox
 
* Runtime Comp. Full: AProVE
 
* Runtime Comp. Innermost: AProVE
 
* ITRS: AProVE, Ctrl
 
* Integer Transitions: AProVE, Ctrl
 
* C/C Integer Programs: AProVE
 
* Prolog: AProVE
 
* Haskell: AProVE
 
* Java Bytecode: AProVE
 
  
== Benchmark submissions ==
+
DO NOT EDIT HERE. Report errors and omissions by email.
 
 
DO NOT EDIT. 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
 
* TRS Standard: test cases related to non-termination, by Jörg Endrullis
 
* Integer Transitions: repaired versions of translated problems (?)
 
* 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:

postponed (that is, submission will not happen before 2015 competition)

  • SRS Standard: set of one-rule SRS, by Mario Wenzel