Dear all,

I've been testing a lot since Friday. You can see the current state of the registration and the demo categories here:

https://termcomp.verify.rwth-aachen.de/Y2024/

Please check whether the IDs of your solvers are correct.

Several solvers do not work properly yet. If your tool is affected, you got an email from me.

Some notes on the demo categories:

I didn't rerun demo categories where the solvers and the benchmarks are the same as last year (Haskell, JBC, LP with Cut, Prolog, C Complexity, ITS Complexity, Integer TRSs). In the best case, doing so would only reproduce last year's results, but the more likely scenario is that it would uncover many technical problems due to the StarExec update, so I think it's better this way.

I don't plan to do another (final) run in demo categories where everything worked as expected (all demo categories except for 'TRS Conditional - Termination' and 'Runtime Complexity: TRS Parallel Innermost'). However, I have to rerun the certified configurations due to a bug in the post-processor (see my previous mail).

Best
Florian