QF_NonLinearIntArith (Parallel Track)

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

Results were generated on 2025-08-11

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

Logics:

Sequential Performance	Parallel Performance	SAT Performance (parallel)	UNSAT Performance (parallel)	24 seconds Performance (parallel)
-	Z3-Parti-Z3pp	Z3-Parti-Z3pp	Z3-Parti-Z3pp	Z3-Parti-Z3pp

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Timeout
Z3-Parti-Z3pp	21	108934.89	1833.83	21	13	8	23	23
Yices2	10	110976.88	878.92	10	4	6	34	34
Z3-Parti-Z3pp-16core ⁿ	0	0.00	0.00	0	0	0	44	0
Z3-Parti-Z3pp-32core ⁿ	0	0.00	0.00	0	0	0	44	0
Z3-Parti-Z3pp-64core ⁿ	0	0.00	0.00	0	0	0	44	0

ⁿ: non-competing solver

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Unsolved	Abstained	Timeout
Z3-Parti-Z3pp	13	72870.04	1236.13	13	13	2	29	2
Yices2	4	46163.17	366.09	4	4	11	29	11
Z3-Parti-Z3pp-16core ⁿ	0	0.00	0.00	0	0	15	29	0
Z3-Parti-Z3pp-32core ⁿ	0	0.00	0.00	0	0	15	29	0
Z3-Parti-Z3pp-64core ⁿ	0	0.00	0.00	0	0	15	29	0

ⁿ: non-competing solver

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved UNSAT	Unsolved	Abstained	Timeout
Z3-Parti-Z3pp	8	36064.85	597.70	8	8	5	31	5
Yices2	6	64813.71	512.84	6	6	7	31	7
Z3-Parti-Z3pp-16core ⁿ	0	0.00	0.00	0	0	13	31	0
Z3-Parti-Z3pp-32core ⁿ	0	0.00	0.00	0	0	13	31	0
Z3-Parti-Z3pp-64core ⁿ	0	0.00	0.00	0	0	13	31	0

ⁿ: non-competing solver

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Abstained
Z3-Parti-Z3pp	9	2292.22	70.28	9	7	2	0	35
Yices2	2	2909.66	24.44	2	0	2	0	42
Z3-Parti-Z3pp-16core ⁿ	0	0.00	0.00	0	0	0	44	0
Z3-Parti-Z3pp-32core ⁿ	0	0.00	0.00	0	0	0	44	0
Z3-Parti-Z3pp-64core ⁿ	0	0.00	0.00	0	0	0	44	0

ⁿ: non-competing solver

SMT-COMP 2025