[Termtools] TermComp2020 is running

[Johannes Waldmann]

> Does anybody know how to get the ‘configuration id’?

when you start a job for your solver on starexec,
you are picking a configuration. it has a number.


example (matchbox): this is the solver, after upload

https://www.starexec.org/starexec/secure/details/solver.jsp?id=29550

it has two configurations (shell scripts)

so these ids for matchbox are   360336  and 360337

- J.