NIA (Unsat Core Track)

Competition results for the NIA logic in the Unsat Core Track. Chart

Results were generated on 2026-07-25

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

Winners

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

Sequential Performance Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved UNSAT	Unsolved	Timeout
cvc5	0	252	19300.19	19319.53	142	142	20	20
z3-BooledASS ^ne	0	53 (base +0)	467.31	471.08	30	30	132	32
SMTInterpol	0	11	19.83	12.65	6	6	156	1
UltimateEliminator+MathSAT	1	231	443.14	199.50	92	92	70	20
z3-BooledASS-base ⁿ	0	53	473.48	477.25	30	30	132	32

(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 UNSAT	Unsolved	Timeout
cvc5	0	252	19300.19	19319.53	142	142	20	20
z3-BooledASS ^ne	0	53 (base +0)	467.31	471.08	30	30	132	32
SMTInterpol	0	11	19.83	12.65	6	6	156	1
UltimateEliminator+MathSAT	1	231	443.14	199.50	92	92	70	20
z3-BooledASS-base ⁿ	0	53	473.48	477.25	30	30	132	32

UNSAT Performance Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved UNSAT	Unsolved	Timeout
cvc5	0	252	19300.19	19319.53	142	142	20	20
z3-BooledASS ^ne	0	53 (base +0)	467.31	471.08	30	30	132	32
SMTInterpol	0	11	19.83	12.65	6	6	156	1
UltimateEliminator+MathSAT	1	231	443.14	199.50	92	92	70	20
z3-BooledASS-base ⁿ	0	53	473.48	477.25	30	30	132	32

24 seconds Performance Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved UNSAT	Unsolved	Abstained
cvc5	0	102	22.39	31.55	74	74	0	88
z3-BooledASS ^ne	0	53 (base +0)	26.03	29.63	29	29	96	37
SMTInterpol	0	11	19.83	12.65	6	6	154	2
UltimateEliminator+MathSAT	1	231	443.14	199.50	92	92	50	20
z3-BooledASS-base ⁿ	0	53	25.79	29.39	29	29	96	37

SMT-COMP 2026