Termination Competition 2016 Data: Difference between revisions
J.waldmann (talk | contribs) |
J.waldmann (talk | contribs) No edit summary |
||
| Line 1: | Line 1: | ||
[http://termcomp.imn.htwk-leipzig.de/competitions/172 live data] | [http://termcomp.imn.htwk-leipzig.de/competitions/172 Competition live data and results] | ||
(Note: display of time is [https://github.com/jwaldmann/star-exec-presenter/issues/125 wrong]) | |||
== Timeline == | == Timeline == | ||
Revision as of 07:43, 6 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")