[Termtools] problems with certified complexity

[Johannes Waldmann]

Dear all,

please check test runs for certified complexity categories:
http://nfa.imn.htwk-leipzig.de/termcomp-devel/competitions

as the display at my side is currently not working,
use "view original data on star-exec" -> actions -> job information
to get the raw CSV file containing the outputs of the postprocessor.

There's a lot of INPUT_MISMATCH and CPF_PARSE_ERROR
(but also some CERTIFIED CONSISTENT)

Relevant source code for the postprocessor:
https://github.com/jwaldmann/ceta-postproc

containing contributions by alpako
https://github.com/jwaldmann/ceta-postproc/pull/8

- Johannes.