Termination Competition 2015 TODO

TODO list for the competition organizer.

accepted

• install this year's TPDB on starexec
• implement complexity scoring (lower and upper bounds)
• fix stability and performance problems (starexec connection and/or caching)

• hors-concours participants

suggested

You may put suggestions here, but keep them brief. If you need more text, write elsewhere (termtools, wiki) and only put a link here.

• use original file name whenever possible
• display all job pairs with strange results (not YES, NO, MAYBE, WORST_CASE)

done

• better display of (rejected) results in certified categories
• better display of complexity bounds (show lower/upper bound degree)
• XSL rendering for benchmark display