QF_UFIDL (Parallel Track)

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

Results were generated on 2026-07-25

Benchmarks: 38
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
OpenSMT-SMTS ^ne	4 (base -8)	212683.90	1678.31	4	1	3	34	30
z3-parallel	3	118273.91	1360.18	3	1	2	35	35
OpenSMT-SMTS-base ⁿ	12	8589.01	8591.89	12	1	11	26	26

(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	Abstained
z3-parallel	1	789.58	72.14	1	1	37
OpenSMT-SMTS ^ne	1 (base +0)	52263.11	412.20	1	1	37
OpenSMT-SMTS-base ⁿ	1	211.43	211.58	1	1	37

UNSAT Performance Performance

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved UNSAT	Unsolved	Abstained	Timeout
OpenSMT-SMTS ^ne	3 (base -8)	160420.79	1266.11	3	3	34	1	30
z3-parallel	2	117484.33	1288.04	2	2	35	1	35
OpenSMT-SMTS-base ⁿ	11	8377.57	8380.31	11	11	26	1	26