[Termtools] new SRS problems

[Johannes Waldmann]

Dear all,

I have compiled what I believe to be a complete list
of string rewriting systems of size 11 and alphabet size 2 and 3,
(size = sum of lengths of lhs plus rhs),
als well as size 12 with alphabet size 2,
that seem unsolvable by last year's provers (in all, 47 problems).
http://dfa.imn.htwk-leipzig.de/matchbox/new-problems/

Best regards
-- 
-- Johannes Waldmann -- Tel/Fax (0341) 3076 6479/80 --
---- http://www.imn.htwk-leipzig.de/~waldmann/ -------