QF_LinearIntArith (Parallel Track)

Competition results for the QF_LinearIntArith division in the Parallel Track. Chart

Results were generated on 2026-07-25

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

Logics:

QF_IDL : 52 benchmarks
QF_LIA : 51 benchmarks

Winners

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

Parallel Performance Performance

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Timeout
OpenSMT-SMTS	26 (base +15)	667463.62	5264.34	26	25	1	77	77
z3-parallel	24	1389995.03	14903.15	24	12	12	79	79
QiuQi	14	40531.74	3521.40	14	6	8	89	89
OpenSMT-SMTS-base ⁿ	11	5760.35	5762.59	11	10	1	92	92

(base +/- n): for derived solvers: increment over base solver
ⁿ: non-competing solver

SAT Performance Performance

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Unsolved	Abstained	Timeout
OpenSMT-SMTS	25 (base +15)	641793.51	5061.32	25	25	21	57	21
z3-parallel	12	527561.68	5107.86	12	12	34	57	34
QiuQi	6	32121.45	2019.17	6	6	40	57	40
OpenSMT-SMTS-base ⁿ	10	4631.75	4633.71	10	10	36	57	36

(base +/- n): for derived solvers: increment over base solver
ⁿ: non-competing solver

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	42	49	42
QiuQi	8	8410.29	1502.23	8	8	46	49	46
OpenSMT-SMTS ^ne	1 (base +0)	25670.11	203.02	1	1	53	49	53
OpenSMT-SMTS-base ⁿ	1	1128.60	1128.88	1	1	53	49	53

(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

24 seconds Performance Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Abstained	Timeout	Memout
OpenSMT-SMTS	0	3	4948.31	41.27	3	3	0	0	100	0	0
QiuQi	0	2	105.03	23.72	2	1	1	0	101	0	0

SMT-COMP 2026