Difference between revisions of "Termination Competition 2017 Registration"
From Termination-Portal.org
Jump to navigationJump to search (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...") |
J.waldmann (talk | contribs) |
||
| Line 16: | Line 16: | ||
for each competition category that you want to take part in. | for each competition category that you want to take part in. | ||
| − | For registration and updates, use the templates linked at the top of the [ | + | For registration and updates, use the templates linked at the top of the [https://termcomp.imn.htwk-leipzig.de/termcomp-devel/registered/Y2017 registration page]. |
| − | This helps me cut/pasting your data into the actual [https://github.com/jwaldmann/star-exec-presenter/blob/master/Presenter/Registration/ | + | This helps me cut/pasting your data into the actual [https://github.com/jwaldmann/star-exec-presenter/blob/master/Presenter/Registration/Form_2017.hs#L90 code]. |
I need read access to the space that contains your solver. Make that space public, or make me a member of the space. | I need read access to the space that contains your solver. Make that space public, or make me a member of the space. | ||
Revision as of 22:04, 26 July 2017
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 registration 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
