Home VMTL Web Interface Download VMTL Documentation Screenshots Benchmarks References Contact

Benchmarks of VMTL

Benchmarks on standard, context-sensitive and conditional term rewriting systems are available:

• Standard Benchmarks
• Context-Sensitive Benchmarks
• Conditional Benchmarks