QF_IDL (Parallel Track)

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

Results were generated on 2026-07-25

Benchmarks: 52
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	QiuQi	z3-parallel	-

Parallel Performance Performance

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Timeout
z3-parallel	13	868353.55	9860.42	13	1	12	39	39
OpenSMT-SMTS ^ne	4 (base +0)	160442.69	1265.34	4	3	1	48	48
QiuQi	3	13857.93	869.17	3	2	1	49	49
OpenSMT-SMTS-base ⁿ	4	3738.10	3739.05	4	3	1	48	48

(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
OpenSMT-SMTS ^ne	3 (base +0)	134772.58	1062.32	3	3	13	36	13
QiuQi	2	12418.44	778.72	2	2	14	36	14
z3-parallel	1	5920.20	65.12	1	1	15	36	15
OpenSMT-SMTS-base ⁿ	3	2609.50	2610.16	3	3	13	36	13

UNSAT Performance Performance

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved UNSAT	Unsolved	Abstained	Timeout
z3-parallel	12	862433.35	9795.29	12	12	23	17	23
QiuQi	1	1439.48	90.45	1	1	34	17	34
OpenSMT-SMTS ^ne	1 (base +0)	25670.11	203.02	1	1	34	17	34
OpenSMT-SMTS-base ⁿ	1	1128.60	1128.88	1	1	34	17	34