CONFident

Benchmarks

COPS Benchmarks - Timeout 120s

Category	CONFident 1.4.6
Join CTRSs	13/21
Oriented CTRSs	106/139
Semi-Equational CTRSs	7/10

CoCo 2021 CTRS category simulation using CoCo 2020 full run examples - Timeout 60s

Category	CONFident 1.0	CO3	ACP
TRS Conditional	95/148	85/148	80/148

CONFident 1.0 vs. CO3 (2020) vs. ACP (2020) - Timeout 120s

Category	CONFident 1.0	CO3	ACP
TRS Conditional	112/163	86/163	83/163

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