Dear all, I created the Jobs for the final run. So from now on, I'll only accept updates for very good reasons. I'll start the first jobs as soon as we have a screen to display the results at IJCAR. You can check the current state of the competition here: https://termcomp.verify.rwth-aachen.de/Y2024/ There, you can also see the configurations that are registered for your tool. Please make sure that they are correct. This year, we'll have certificates for all winners, and I'll hand them out during the termCOMP session (Friday, 17:30). So if you attend IJCAR and participate in one of the competition categories, make sure you're there! If you don't attend IJCAR, please ask someone else to (maybe) pick up your certificate for you. If you don't expect to win, note that there will also be some special prices, so please (ask someone to) attend the session anyway. Best Florian