CHC-COMP 2026 Results

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

Scoring:

Solver Track (check-sat)

Tool	ADT-LIA	ADT-LIA-Arrays	BV	BV-Lin	LIA	LIA-Arrays	LIA-Lin	LIA-Lin-Arrays	LRA-Lin	Overall
	score / correct / wrong / total	score / correct / wrong / total	score / correct / wrong / total	score / correct / wrong / total	score / correct / wrong / total	score / correct / wrong / total	score / correct / wrong / total	score / correct / wrong / total	score / correct / wrong / total	score / correct / wrong / total
chococatalia	482 / 0 / 1131	-	-	-	-	-	-	-	-	-
eldarica	240 / 0 / 1131	3392 / 0 / 3607	77 / 0 / 96	292 / 0 / 512	1048 / 0 / 1287	1713 / 0 / 1738	972 / 0 / 1406	77 / 0 / 139	81 / 0 / 277	7892 / 0 / 10193
golem	-	-	-	-	1196 / 0 / 1287	-	1259 / 0 / 1406	47 / 0 / 139	242 / 0 / 277	2744 / 0 / 3109
loat	-	-	-	-	-	-	1221 / 5 / 1406	52 / 0 / 139	-	1273 / 5 / 1545
mucyc	73 / 13 / 928	1317 / 1 / 2470	-	-	1014 / 0 / 1287	1532 / 0 / 1738	1160 / 0 / 1406	54 / 0 / 139	75 / 0 / 277	5225 / 14 / 8245
pcsat	230 / 0 / 1131	2683 / 2 / 3607	14 / 0 / 96	140 / 0 / 512	1004 / 0 / 1287	1607 / 0 / 1738	806 / 0 / 1406	43 / 0 / 139	6 / 0 / 277	6533 / 2 / 10193
spacer hors concours	389 / 1 / 1131	3355 / 1 / 3607	57 / 0 / 96	308 / 0 / 512	1220 / 0 / 1287	1710 / 0 / 1738	1181 / 0 / 1406	45 / 0 / 139	176 / 0 / 277	8441 / 2 / 10193
theta	-	-	0 / 0 / 68	61 / 8 / 286	59 / 0 / 839	882 / 0 / 1054	625 / 0 / 984	56 / 0 / 115	67 / 0 / 240	1750 / 8 / 3586
z4	-	-	-	52 / 1 / 512	27 / 0 / 1287	-	127 / 2 / 1406	8 / 0 / 139	-	214 / 3 / 3344

Model Track (check-sat with model generation)

Tool	ADT-LIA	ADT-LIA-Arrays	BV	BV-Lin	LIA	LIA-Arrays	LIA-Lin	LIA-Lin-Arrays	LRA-Lin	Overall
	score / correct / wrong / total	score / correct / wrong / total	score / correct / wrong / total	score / correct / wrong / total	score / correct / wrong / total	score / correct / wrong / total	score / correct / wrong / total	score / correct / wrong / total	score / correct / wrong / total	score / correct / wrong / total
eldarica	61 / 0 / 928	2220 / 0 / 2470	26 / 0 / 68	114 / 0 / 286	620 / 0 / 839	1028 / 0 / 1054	585 / 0 / 984	52 / 0 / 115	-	4706 / 0 / 6744
golem	-	-	-	-	730 / 0 / 839	-	716 / 0 / 984	-	80 / 0 / 240	1526 / 0 / 2063
spacer hors concours	33 / 0 / 928	90 / 0 / 2470	3 / 0 / 68	113 / 0 / 286	267 / 0 / 839	90 / 0 / 1054	608 / 0 / 984	11 / 0 / 115	130 / 0 / 240	1345 / 0 / 6984
theta	-	-	0 / 0 / 68	37 / 5 / 286	0 / 0 / 839	0 / 0 / 1054	587 / 0 / 984	54 / 0 / 115	31 / 0 / 240	709 / 5 / 3586