Termination Competitions

The International Termination Competitions are run on Star-Exec.

We provide here these extra features:

• computation and display of results per category
• flexible 2-dimensional results tables (x-axis: solver, y-axis: benchmark) (with filters for rows and columns, sorters, etc.)
• caching (and permanent storage) of results (we intend to include also results of earlier competitions)

This site:

• registered participants for 2017
• result data from test runs
• job control

Meta-information for this site:

• programmers: Stefan von der Krone, René Muhl, Johannes Waldmann
• using the Yesod web framework,implementation language: Haskell, compiler: ghc-8.0.2.
• source code, issue tracker