Hi Florian - on https://termination-portal.org/wiki/Termination_Competition_2025_technical_d... you write "following two commands will be executed in your container: solver --name solver --timeout=$timeout --category=$category $benchmark" * what do you recommend for --name? (how many lines, words, characters) (e.g., can/should it contain precise version information?) * I can just ignore timeout? (and expect it to be 60 seconds?) * how many cores can I expect to use? RAM? * what are the possible values for $category? (they are names of top-level directories in TPDB? e.g., SRS_Standard, SRS_Relative ? Could you provide empty files in https://github.com/TermCOMP/registration ?) * How do I know whether it's certified or not? * $benchmark : will it have a specific extension (.ari)? - Johannes.