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

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:

• Certifier: CeTA
• 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
• Cycles: cycsrs
• Higher Order: Wanda
• Derivational Comp. Full: matchbox, tct2, tct3
• Runtime Comp. Full: AProVE, tct2, tct3
• Runtime Comp. Innermost: AProVE, tct2, tct3
• Derivational Comp. Full Certified: tct2, tct3
• Runtim Comp. Full Certified: tct2, tct3
• Runtime Comp. Innermost Certified: tct2, tct3
• ITRS: AProVE, Ctrl
• Integer Transitions: AProVE, Ctrl, HipTNT+, T2
• C/C Integer Programs: AProVE, HipTNT+, T2
• Prolog: AProVE
• Haskell: AProVE
• Java Bytecode: AProVE

Benchmark submissions

DO NOT EDIT. Report errors and omissions by email.

received:

announced:

• SRS Standard: set of one-rule SRS, by Mario Wenzel
• TRS Standard: test cases related to non-termination, by Jörg Endrullis
• Integer Transitions: repaired versions of translated problems (?)