Termination Competition 2015 TODO
From Termination-Portal.org
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)
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.
done
- better display of (rejected) results in certified categories
- better display of complexity bounds (show lower/upper bound degree)
- XSL rendering for benchmark display