Termination Competition 2015 TODO

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
• repair non-XML benchmark display

suggested

Be 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

• implement complexity scoring (lower and upper bounds)
• 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