Toggle navigation
CONFident v1.0
|
Benchmarks
|
Team/Contact
|
Financial Support
CONFident
Confluence Checker for Conditional Rewrite Systems
Benchmarks
CONFident with ECPs vs. CONFident with CPs - Timeout 120s
Category
CONFident ECPs
CONFident CPs
Context-Sensitive TRS
106/108
55/108
Context-Sensitive TRS (using the canonical replacement map)
102/108