[Termtools] new test run (updated post-processors, new category)

[Johannes Waldmann]

I am running a fresh set of tests now
https://termcomp.imn.htwk-leipzig.de/competitions/14

In particular, this is using updated post-processors
plain.6   and  ceta-2.31-0


This includes the new category
"Integer Transition Systems certified"
https://termcomp.imn.htwk-leipzig.de/results/standard/noquery/23565

which has a display bug
https://github.com/jwaldmann/star-exec-presenter/issues/148


- Johannes.