QF_ANIA (Model Validation Track)

Competition results for the QF_ANIA logic in the Model Validation Track. Chart

Results were generated on 2026-07-25

Benchmarks: 121
Time Limit: 1200 seconds
Memory Limit: 30720 GB

Winners

Sequential Performance	Parallel Performance	SAT Performance (parallel)	UNSAT Performance (parallel)	24 seconds Performance (parallel)
SMTInterpol	SMTInterpol	SMTInterpol	-	SMTInterpol

Sequential Performance Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Unsolved	Timeout
SMTInterpol	0	115	328.39	150.94	115	115	6	0
cvc5	0	78	6033.39	6043.44	78	78	43	43
z3-BooledASS ^ne	0	53 (base +0)	1205.13	1211.78	53	53	68	42
Yices2	76	39	937.14	942.04	39	39	82	4
z3-BooledASS-base ⁿ	0	53	1206.24	1212.89	53	53	68	40

(base +/- n): for derived solvers: increment over base solver
^ne: not eligible for winning as it does not substantially improve over the base solver (at least 10 % improvement in PAR2 score) ⁿ: non-competing solver

Parallel Performance Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Unsolved	Timeout
SMTInterpol	0	115	328.39	150.94	115	115	6	0
cvc5	0	78	6033.39	6043.44	78	78	43	43
z3-BooledASS ^ne	0	53 (base +0)	1205.13	1211.78	53	53	68	42
Yices2	76	39	937.14	942.04	39	39	82	4
z3-BooledASS-base ⁿ	0	53	1206.24	1212.89	53	53	68	40

SAT Performance Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Unsolved	Timeout
SMTInterpol	0	115	328.39	150.94	115	115	6	0
cvc5	0	78	6033.39	6043.44	78	78	43	43
z3-BooledASS ^ne	0	53 (base +0)	1205.13	1211.78	53	53	68	42
Yices2	76	39	937.14	942.04	39	39	82	4
z3-BooledASS-base ⁿ	0	53	1206.24	1212.89	53	53	68	40

24 seconds Performance Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Unsolved	Abstained
SMTInterpol	0	115	328.39	150.94	115	115	6	0
cvc5	0	56	91.35	98.26	56	56	0	65
z3-BooledASS ^ne	0	45 (base +0)	79.80	85.35	45	45	10	66
Yices2	49	36	61.51	65.99	36	36	51	34
z3-BooledASS-base ⁿ	0	45	78.73	84.29	45	45	10	66

SMT-COMP 2026