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