View source for Termination Competition 2016 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 ==

(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 ==

* [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")

== 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]

* comments by the organizer: [http://www.imn.htwk-leipzig.de/~waldmann/talk/16/termcomp]