[Termtools] TermComp2020 is running

[Etienne Payet]

Dear Johannes,

Thank you for your help!

Etienne

> Le 27 juin 2020 à 14:38, Johannes Waldmann <johannes.waldmann at htwk-leipzig.de> a écrit :
> 
> 
>> 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.