Termination Competition 2016 Data: Difference between revisions
J.waldmann (talk | contribs) No edit summary |
J.waldmann (talk | contribs) No edit summary |
||
| Line 13: | Line 13: | ||
* [http://termcomp.imn.htwk-leipzig.de/registered/Y2016 participants] | * [http://termcomp.imn.htwk-leipzig.de/registered/Y2016 participants] | ||
* [http://termcomp.imn.htwk-leipzig.de/combine/20/4/172 compare] current results to previous competitions (last column, provides options to merge solvers into "virtual best solver") | * [http://termcomp.imn.htwk-leipzig.de/combine/20/4/172 compare] current results to previous competitions (last column, provides options to merge solvers into "virtual best solver") | ||
== Comments == | |||
* on organizational matters: write to the termtools mailing list [[Termtools]] | |||
* technical issues with the star-exec-presenter software: [https://github.com/jwaldmann/star-exec-presenter/issues] | |||
Revision as of 07:17, 6 September 2016
Timeline
(all times are Obergurgl local time = CEST)
- around 09:00 start Termination and Complexity Analysis of Programs
- around 11:00 start Termination and Complexity Analysis of Rewriting
- around 14:00 results should be available
Extra Information
- participants
- compare current results to previous competitions (last column, provides options to merge solvers into "virtual best solver")