QF_UFLIA (Parallel Track)

Competition results for the QF_UFLIA logic in the Parallel Track. Chart

Results were generated on 2026-07-25

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

Winners

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

Parallel Performance Performance

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Timeout
z3-parallel	11	99281.92	2745.74	11	8	3	16	16
OpenSMT-SMTS ^ne	0 (base +0)	0.00	0.00	0	0	0	27	27
OpenSMT-SMTS-base ⁿ	0	0.00	0.00	0	0	0	27	27

(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

SAT Performance Performance

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Unsolved	Abstained	Timeout
z3-parallel	8	78111.77	2121.93	8	8	0	19	0
OpenSMT-SMTS ^ne	0 (base +0)	0.00	0.00	0	0	8	19	8
OpenSMT-SMTS-base ⁿ	0	0.00	0.00	0	0	8	19	8

UNSAT Performance Performance

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved UNSAT	Unsolved	Abstained	Timeout
z3-parallel	3	21170.14	623.81	3	3	0	24	0
OpenSMT-SMTS ^ne	0 (base +0)	0.00	0.00	0	0	3	24	3
OpenSMT-SMTS-base ⁿ	0	0.00	0.00	0	0	3	24	3