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 10: | Line 10: | ||
Compare [[Termination Competition 2014 Registration]] | 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. | |
− | I will make available publically some results of pre-competition test runs on | + | 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 == | == Registered Solvers == |
Revision as of 11:23, 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
- 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