Difference between revisions of "Termination Competition 2015 Registration"

From Termination-Portal.org
Jump to navigationJump to search
Line 1: Line 1:
 +
== General ==
 +
 
Registration process is like it was last year. In short,  
 
Registration process is like it was last year. In short,  
  
Line 7: Line 9:
  
 
Compare [[Termination Competition 2014 Registration]]
 
Compare [[Termination Competition 2014 Registration]]
 +
 +
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 (J.W.) to this space.
 +
 +
I will make available publically some results of pre-competition test runs on (random, small) subsets.
 +
 +
== Registered Solvers ==
 +
 +
DO NOT EDIT. Report errors and omissions by email.
 +
 +
by category:
 +
 +
* Java Bytecode: AProVE
 +
* 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 ==
 +
 +
DO NOT EDIT. Report errors and omissions by email.
 +
 +
received:
 +
 +
*
 +
 +
announced:
 +
 +
* SRS Standard: set of one-rule SRS by Mario Wenzel

Revision as of 11:09, 1 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

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 (J.W.) to this space.

I will make available publically some results of pre-competition test runs on (random, small) subsets.

Registered Solvers

DO NOT EDIT. Report errors and omissions by email.

by category:

  • Java Bytecode: AProVE
  • 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

DO NOT EDIT. Report errors and omissions by email.

received:

announced:

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