Difference between revisions of "Termination Competition 2015 Registration"

From Termination-Portal.org
Jump to navigationJump to search
(Created page with "Registration is like it was last year. In short, * get a starexec account, upload your solver * send email to J. Waldmann with: ** categories that you want to enter, ** an...")
 
Line 1: Line 1:
Registration is like it was last year. In short,  
+
Registration process is like it was last year. In short,  
  
 
* get a starexec account, upload your solver
 
* get a starexec account, upload your solver
Line 5: Line 5:
 
** categories that you want to enter,  
 
** categories that you want to enter,  
 
** and for each category, the starexec IDs of your solver and config.
 
** and for each category, the starexec IDs of your solver and config.
 +
 +
Compare [[Termination Competition 2014 Registration]]

Revision as of 07:08, 1 July 2015

Registration process is like it was last year. In short,

  • get a starexec account, upload your solver
  • send email to J. Waldmann with:
    • categories that you want to enter,
    • and for each category, the starexec IDs of your solver and config.

Compare Termination Competition 2014 Registration