QF_UFIDL (Unsat Core Track)

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

Results were generated on 2026-07-25

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

Winners

Sequential Performance	Parallel Performance	SAT Performance (parallel)	UNSAT Performance (parallel)	24 seconds Performance (parallel)
OpenSMT	OpenSMT	-	OpenSMT	Yices2

Sequential Performance Performance

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved UNSAT	Unsolved	Timeout
z3-BooledASS ^ne	763974 (base +0)	20974.81	20989.20	99	99	14	9
OpenSMT	715554	21720.46	21731.54	70	70	43	43
Yices2	689520	30621.31	30634.73	87	87	26	26
cvc5	51278	3114.32	3116.74	17	17	96	96
OpenSMT (min-ucore)	38984	1750.40	1752.96	19	19	94	94
SMTInterpol	19	5.77	5.90	13	13	100	53
z3-BooledASS-base ⁿ	763974	20871.64	20886.02	99	99	14	9

(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	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved UNSAT	Unsolved	Timeout
z3-BooledASS ^ne	763974 (base +0)	20974.81	20989.20	99	99	14	9
OpenSMT	715554	21720.46	21731.54	70	70	43	43
Yices2	689520	30621.31	30634.73	87	87	26	26
cvc5	51278	3114.32	3116.74	17	17	96	96
OpenSMT (min-ucore)	38984	1750.40	1752.96	19	19	94	94
SMTInterpol	19	5.77	5.90	13	13	100	53
z3-BooledASS-base ⁿ	763974	20871.64	20886.02	99	99	14	9

UNSAT Performance Performance

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved UNSAT	Unsolved	Timeout
z3-BooledASS ^ne	763974 (base +0)	20974.81	20989.20	99	99	14	9
OpenSMT	715554	21720.46	21731.54	70	70	43	43
Yices2	689520	30621.31	30634.73	87	87	26	26
cvc5	51278	3114.32	3116.74	17	17	96	96
OpenSMT (min-ucore)	38984	1750.40	1752.96	19	19	94	94
SMTInterpol	19	5.77	5.90	13	13	100	53
z3-BooledASS-base ⁿ	763974	20871.64	20886.02	99	99	14	9

24 seconds Performance Performance

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved UNSAT	Abstained
Yices2	55026	36.82	38.72	15	15	98
z3-BooledASS ^ne	21330 (base +0)	218.78	221.82	24	24	89
OpenSMT	19	1.94	3.60	13	13	100
OpenSMT (min-ucore)	19	1.99	3.61	13	13	100
cvc5	19	2.10	3.71	13	13	100
SMTInterpol	19	5.77	5.90	13	13	100
z3-BooledASS-base ⁿ	21330	214.91	217.91	24	24	89

SMT-COMP 2026