Further solver names.