[Termtools] Re: termcomp: solver names, category names, cores, RAM, ...