
Dear Johannes,
* what do you recommend for --name? (how many lines, words, characters) (e.g., can/should it contain precise version information?)
That's up to you. I think including version information would be useful. I'll probably use something like "LoAT v0.2.0" or "LoAT $SHORT_GIT_SHA" for my tool.
* I can just ignore timeout? (and expect it to be 60 seconds?)
Yes, you can do that.
* how many cores can I expect to use? RAM?
4 Cores, 20.345 MiB RAM.
* what are the possible values for $category? (they are names of top-level directories in TPDB?
Yes, for most categories, it'll just be the name of the top-level directory. We just have to think about an alternative for categories that do not have their own benchmark set (e.g., parallel rewriting).
e.g., SRS_Standard, SRS_Relative ? Could you provide empty files in https://github.com/TermCOMP/registration ?)
Please just create the missing files before creating a pull request.
* How do I know whether it's certified or not?
Good question. I didn't test with certification yet. I guess an additional argument '--cert' would do. Could you provide a (containerized) solver with support for certification (via '--cert')? Then I can start testing with certification and figure out the details.
* $benchmark : will it have a specific extension (.ari)?
Yes, .ari for all TRS/SRS/Transition System categories. Best Florian