Difference between revisions of "Termination Competition 2016 Data"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) |
J.waldmann (talk | contribs) |
||
| 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")
