Termination Competition 2015 Registration
From Termination-Portal.org
Revision as of 11:09, 1 July 2015 by J.waldmann (talk | contribs)
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