Termination Competition 2016 Data

From Termination-Portal.org
Revision as of 07:35, 6 September 2016 by J.waldmann (talk | contribs) (→‎Timeline)
Jump to navigationJump to search

live data

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]
Retrieved from "http://termination-portal.org/mediawiki/index.php?title=Termination_Competition_2016_Data&oldid=1727"