QF_NonLinearRealArith (Parallel Track)

Competition results for the QF_NonLinearRealArith 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	Yices2	Yices2

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Timeout
Z3-Parti-Z3pp	16	265026.04	4296.42	16	12	4	28	28
Yices2	7	6040.43	51.47	7	3	4	37	37
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	12	162053.02	2649.77	12	12	10	22	10
Yices2	3	1149.54	10.82	3	3	19	22	19
Z3-Parti-Z3pp-16core ⁿ	0	0.00	0.00	0	0	22	22	0
Z3-Parti-Z3pp-32core ⁿ	0	0.00	0.00	0	0	22	22	0
Z3-Parti-Z3pp-64core ⁿ	0	0.00	0.00	0	0	22	22	0

ⁿ: non-competing solver

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved UNSAT	Unsolved	Abstained	Timeout
Yices2	4	4890.88	40.65	4	4	1	39	1
Z3-Parti-Z3pp	4	102973.02	1646.65	4	4	1	39	1
Z3-Parti-Z3pp-16core ⁿ	0	0.00	0.00	0	0	5	39	0
Z3-Parti-Z3pp-32core ⁿ	0	0.00	0.00	0	0	5	39	0
Z3-Parti-Z3pp-64core ⁿ	0	0.00	0.00	0	0	5	39	0

ⁿ: non-competing solver

Solver	Correct Score	CPU Time Score	Wall Time Score	Solved	Solved SAT	Solved UNSAT	Unsolved	Abstained
Yices2	6	2869.12	26.09	6	3	3	0	38
Z3-Parti-Z3pp	5	218.02	29.80	5	4	1	0	39
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