Termination Competition 2017 Registration

From Termination-Portal.org
Revision as of 08:52, 17 July 2017 by Albert (talk | contribs) (Created page with "general information: Termination_Competition_2017 == Test Runs == not yet availabe <!-- most recent public test run * [http://termcomp.imn.htwk-leipzig.de/competitions...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

general information: Termination_Competition_2017

Test Runs

not yet availabe


Solvers

For registering your solver, I (J. Waldmann) need the starexec ids of space, solver, and configuration, for each competition category that you want to take part in.

For registration and updates, use the templates linked at the top of the last year's page.

This helps me cut/pasting your data into the actual code.

I need read access to the space that contains your solver. Make that space public, or make me a member of the space.

Benchmarks

Not yet available