Difference between revisions of "Termination Competition 2015 Registration"

From Termination-Portal.org
Jump to navigationJump to search
Line 33: Line 33:
 
* TRS Context-Sensitive: muterm
 
* TRS Context-Sensitive: muterm
 
* TRS Innermost: muterm
 
* TRS Innermost: muterm
 +
* Cycles: cycsrs
 
* Higher Order: Wanda
 
* Higher Order: Wanda
* Derivational Comp. Full: matchbox
+
* Derivational Comp. Full: matchbox, tct2, tct3
* Runtime Comp. Full: AProVE
+
* Runtime Comp. Full: AProVE, tct2, tct3
* Runtime Comp. Innermost: AProVE
+
* 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
 
* ITRS: AProVE, Ctrl
* Integer Transitions: AProVE, Ctrl
+
* Integer Transitions: AProVE, Ctrl, HipTNT+
* C/C Integer Programs: AProVE
+
* C/C Integer Programs: AProVE, HipTNT+
 
* Prolog: AProVE
 
* Prolog: AProVE
 
* Haskell: AProVE
 
* Haskell: AProVE

Revision as of 15:05, 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:

  • 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+
  • C/C Integer Programs: AProVE, HipTNT+
  • 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 (?)