[Termination tools] small TRS enumeration

[Johannes Waldmann]

Dear all, I have been re-running the termination provers (this time, all 
six of them) on the small but hard examples that I generated recently. 
Again, for everyone, there is something in it:
http://dfa.imn.htwk-leipzig.de/~waldmann/running/third/overview.html
-- 
-- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
---- http://www.imn.htwk-leipzig.de/~waldmann/ -------