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 20: | Line 20: | ||
* on organizational matters: write to the termtools mailing list [[Termtools]] | * 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] | * technical issues with the star-exec-presenter software: [https://github.com/jwaldmann/star-exec-presenter/issues] | ||
+ | |||
+ | * comments by the organizer: [http://www.imn.htwk-leipzig.de/~waldmann/talk/16/termcomp] |
Revision as of 11:28, 7 September 2016
Competition live data and results
(Note: display of time is wrong)
Timeline
(all times are Obergurgl local time = CEST)
- around 09:00 start Termination and Complexity Analysis of Programs
- around 10:30 start Termination and Complexity Analysis of Rewriting
- around 14:00 results should be available (probably a bit earlier)
Extra Information
- participants
- 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: [1]
- comments by the organizer: [2]