benchmarks/README.md

benchmarks/models/synthInvN-EFwitness.imiprop

benchmarks/models/synthInvN.imi

benchmarks/models/synthInvN.maude

benchmarks/models/synthN-EFwitness.imiprop

benchmarks/models/synthN.imi

benchmarks/models/synthN.maude

benchmarks/models/synthRplus-EFwitness.imiprop

benchmarks/models/synthRplus.imi

benchmarks/models/synthRplus.maude

benchmarks/models/synthint01-EFwitness.imiprop

benchmarks/models/synthint01.imi

benchmarks/models/synthint01.maude

benchmarks/models/synthpN-EFwitness.imiprop

benchmarks/models/synthpN.imi

benchmarks/models/synthpN.maude

benchmarks/models/synthpNplusq-EFwitness.imiprop

benchmarks/models/synthpNplusq.imi

benchmarks/models/synthpNplusq.maude

benchmarks/models/untimedLanguage-EFwitness.imiprop