Termination Competition 2015 TODO

From Termination-Portal.org
Jump to navigationJump to search

TODO list for the competition organizer. You (participant) may edit the "suggested" part and may put "+1/-1" votes on the "accepted" items.


accepted

  • fix stability and performance problems (starexec connection and/or caching)
  • hors-concours participants
  • static display of last year's results, with announcement

suggested

Be brief. If you need more text, write elsewhere (termtools, wiki) and only put a link here.

done

  • implement complexity scoring (lower and upper bounds) [1]
  • install this year's TPDB on starexec
  • better display of (rejected) results in certified categories
  • better display of complexity bounds (show lower/upper bound degree)
  • XSL rendering for benchmark display