[Termtools] certification errors and inconsistent results

[Johannes Waldmann]

Dear all,

I implemented some automated consistency checks, and found:

http://nfa.imn.htwk-leipzig.de/termcomp-devel/problems/9546/9548/9568/9569

http://nfa.imn.htwk-leipzig.de/termcomp-devel/problems/9632/9652

- Johannes.



Remarks: The first access to any such page will be sllooowwwww.

This will wrongly show inconsistencies between SRS and cycle-SRS
(because they use identical benchmarks but with different semantics)

Benchmark equality is by starecex-id (for now)
(meaning you cannot compare jobs from different years)