Difference between revisions of "Termination Competition 2016 Data"

From Termination-Portal.org
Jump to navigationJump to search
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)


(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")


  • on organizational matters: write to the termtools mailing list Termtools
  • technical issues with the star-exec-presenter software: [1]