[Termtools] mopping up ...

[Thiemann, Rene]

Dear all,

> Johannes wrote:
> 
> E.g., one observation is that there is a focus on lower bounds:
> 
> * lower bounds for complexity (RCi) (AProVE got many points there)
> http://nfa.imn.htwk-leipzig.de/termcomp-2015/results/complexity/noquery/10312

* moreover concerning complexity, this year there also is a competition on RCi
  in the certified mode (CeTA now supports weak DPs and DTs so that AProVE and
  TCT can compete)
  (http://nfa.imn.htwk-leipzig.de/termcomp-2015/results/complexity/noquery/10313)

Best regards,
René