[Termtools] more strange outputs

[Johannes Waldmann]

Fresh from the kitchen of termcomp @ starexec:
Today's choice of YES/NO conflicts for C programs,
and some rejects from the certifier:

http://nfa.imn.htwk-leipzig.de/termcomp-devel/problems/9663/9665/9682/9683

Happy bugfixing to you all! Looking at the time that I waste^H^H^H^H^H
invest on star-exec-presenter, I think this is only fair...


Seriously, it would be good if you could indicate whether you
"accept" the bug - or reject because of suspected error in
TPDB benchmark, semantics specification, postprocessor, ..

You can write here, and/or add a note at
http://www.termination-portal.org/wiki/Termination_Competition_2015_Bugs


- J.