Termination Competition 2017 Registration
general information: Termination_Competition_2017
not yet availabe
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.
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.
Not yet available