Difference between revisions of "Termination Competition 2015 TODO"
From Termination-Portal.org
Jump to navigationJump to searchJ.waldmann (talk | contribs) |
J.waldmann (talk | contribs) |
||
| Line 1: | Line 1: | ||
| − | TODO list for the competition organizer. | + | TODO list for the competition organizer. You (participant) may edit the "suggested" part |
| + | (be brief - If you need more text, write elsewhere (termtools, wiki) and only put a link here.) | ||
| + | and may put "+1" votes on the "accepted" items. | ||
| + | |||
== accepted == | == accepted == | ||
Revision as of 13:36, 28 July 2015
TODO list for the competition organizer. You (participant) may edit the "suggested" part (be brief - If you need more text, write elsewhere (termtools, wiki) and only put a link here.) and may put "+1" votes on the "accepted" items.
accepted
- 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
- 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
