Dear all, the testing for the competition categories is over. Some tools still have problems regarding their performance (rejects in certified categories or severe regressions compared to last year), but from a technical point of view, all tools (*) are working. If your tool has rejects or significant regressions, then you've been notified. I'll continue to accept updates, but I won't run any more tests. So if you update your tool, please make sure that the updated version works on StarExec. Moreover, the links to the proofs in the demo categories are working again. Best Florian (*) AutoNon still has a few issues, but that's a 'historical' tool that was just registered for reference. I'll take care of updating it.