CHC-COMP 2025 Results

Each cell shows correct / wrong / total task counts. Click to view the detailed table. Category headers link to cross-verifier comparison tables.

Solver Track (check-sat)

Tool	ADT-LIA	ADT-LIA-Arrays	BV	BV-Lin	LIA	LIA-Arrays	LIA-Lin	LIA-Lin-Arrays	LRA-Lin	Overall
	correct / wrong / total	correct / wrong / total	correct / wrong / total	correct / wrong / total	correct / wrong / total	correct / wrong / total	correct / wrong / total	correct / wrong / total	correct / wrong / total	correct / wrong / total
chococatalia	3 / 0 / 10	-	-	-	-	-	-	-	-	-
eldarica	3 / 0 / 10	10 / 0 / 10	6 / 0 / 10	4 / 0 / 4	6 / 0 / 10	10 / 0 / 10	7 / 0 / 10	10 / 0 / 10	3 / 0 / 10	59 / 0 / 84
golem	-	-	-	-	10 / 0 / 10	-	10 / 0 / 10	6 / 0 / 10	7 / 0 / 10	33 / 0 / 40
loat	-	-	-	-	-	-	8 / 0 / 10	7 / 0 / 10	-	15 / 0 / 20
mucyc	0 / 0 / 7	4 / 0 / 8	-	-	8 / 0 / 10	9 / 0 / 10	9 / 0 / 10	4 / 0 / 10	0 / 0 / 10	34 / 0 / 65
pcsat	3 / 0 / 10	8 / 0 / 10	1 / 0 / 10	1 / 0 / 4	7 / 0 / 10	10 / 0 / 10	7 / 0 / 10	3 / 0 / 10	0 / 0 / 10	40 / 0 / 84
spacer	3 / 0 / 10	9 / 0 / 10	3 / 0 / 10	4 / 0 / 4	9 / 0 / 10	10 / 0 / 10	7 / 0 / 10	3 / 0 / 10	5 / 0 / 10	53 / 0 / 84
theta	-	-	0 / 0 / 6	0 / 0 / 1	0 / 0 / 7	3 / 0 / 7	3 / 0 / 7	5 / 0 / 8	1 / 0 / 9	12 / 0 / 45
z4	-	-	-	2 / 0 / 4	1 / 0 / 10	-	1 / 0 / 10	1 / 0 / 10	-	5 / 0 / 34

Tool	ADT-LIA	ADT-LIA-Arrays	BV	BV-Lin	LIA	LIA-Arrays	LIA-Lin	LIA-Lin-Arrays	LRA-Lin	Overall
	correct / wrong / total	correct / wrong / total	correct / wrong / total	correct / wrong / total	correct / wrong / total	correct / wrong / total	correct / wrong / total	correct / wrong / total	correct / wrong / total	correct / wrong / total
eldarica	0 / 0 / 7	8 / 0 / 8	1 / 0 / 6	1 / 0 / 1	3 / 0 / 7	7 / 0 / 7	3 / 0 / 7	7 / 0 / 8	-	30 / 0 / 51
golem	-	-	-	-	7 / 0 / 7	-	6 / 0 / 7	-	3 / 0 / 9	16 / 0 / 23
spacer	0 / 0 / 7	0 / 0 / 8	0 / 0 / 6	1 / 0 / 1	4 / 0 / 7	0 / 0 / 7	5 / 0 / 7	1 / 0 / 8	3 / 0 / 9	14 / 0 / 60
theta	-	-	0 / 0 / 6	0 / 0 / 1	0 / 0 / 7	0 / 0 / 7	1 / 0 / 7	3 / 0 / 8	1 / 0 / 9	5 / 0 / 45