Termination Competition 2015 Registration

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