Difference between revisions of "Termination Competition 2016 Registration"

From Termination-Portal.org
Jump to navigationJump to search
Line 10: Line 10:
 
This helps me cut/pasting your data into the actual [https://github.com/jwaldmann/star-exec-presenter/blob/master/Presenter/Registration/Form_2016.hs#L90 code].
 
This helps me cut/pasting your data into the actual [https://github.com/jwaldmann/star-exec-presenter/blob/master/Presenter/Registration/Form_2016.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.) You should test this by clicking on your solver's config id in the [http://nfa.imn.htwk-leipzig.de/termcomp-devel/registered/Y2016  status page]. If this shows 404, then I can't use your solve.)
+
I need read access to the space that contains your solver. Make that space public, or make me a member of the space.
  
 
== Benchmarks ==
 
== Benchmarks ==

Revision as of 12:50, 1 August 2016

general information: Termination_Competition_2016

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 status page (or last year's).

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

(provisional) It is helpful when you put your benchmarks on starexec and announce the space id. Make that space readable for (at least) R. Thiemann and J. Waldmann. The earlier, the better - so I can start running tests.

Benchmarks received:

Benchmarks accounced:

  • small hard SRS (M. Wenzel)
  • small hard cycle-SRS (M. Wenzel)
  • cycle-SRS (H. Zantema)

Benchmarks wanted:

  • complexity analysis of integer programs (C, KOAT)?