Difference between revisions of "Termination Competition 2015 Registration"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) |
J.waldmann (talk | contribs) |
||
| Line 25: | Line 25: | ||
* Java Bytecode: AProVE | * Java Bytecode: AProVE | ||
| − | * TRS Standard: muterm, AProVE | + | * TRS Standard: muterm, AProVE, matchbox |
* TRS Standard certified: AProVE | * TRS Standard certified: AProVE | ||
| − | * SRS Standard: muterm, AProVE | + | * SRS Standard: muterm, AProVE, matchbox |
* SRS Standard certified: AProVE | * SRS Standard certified: AProVE | ||
* TRS Equational: muterm | * TRS Equational: muterm | ||
| Line 33: | Line 33: | ||
* TRS Context-Sensitive: muterm | * TRS Context-Sensitive: muterm | ||
* TRS Innermost: muterm | * TRS Innermost: muterm | ||
| + | * Higher Order: Wanda | ||
| + | * Derivational Comp. Full: matchbox | ||
| + | * Runtime Comp. Full: AProVE | ||
* Runtime Comp. Innermost: AProVE | * Runtime Comp. Innermost: AProVE | ||
| − | * | + | * ITRS: AProVE, Ctrl |
| + | * Integer Transitions: AProVE, Ctrl | ||
| + | * C/C Integer Programs: AProVE | ||
* Prolog: AProVE | * Prolog: AProVE | ||
* Haskell: AProVE | * Haskell: AProVE | ||
| − | |||
| − | |||
| − | |||
| − | |||
== Benchmark submissions == | == Benchmark submissions == | ||
Revision as of 11:43, 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
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).
Registered Solvers
DO NOT EDIT. Report errors and omissions by email.
by category:
- Java Bytecode: AProVE
- TRS Standard: muterm, AProVE, matchbox
- 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
Benchmark submissions
DO NOT EDIT. Report errors and omissions by email.
received:
announced:
- SRS Standard: set of one-rule SRS by Mario Wenzel
