Equality+NonLinearArith (Incremental Track)

Competition results for the Equality+NonLinearArith division in the Incremental Track.

Page generated on 2023-07-06 16:05:24 +0000

Benchmarks: 2342
Time Limit: 1200 seconds
Memory Limit: 60 GB

Logics:

• ANIA : 3 benchmarks
• AUFNIRA : 165 benchmarks
• UFDTNIA : 139 benchmarks
• UFNIA : 2031 benchmarks
• UFNRA : 4 benchmarks

Winners

Parallel Performance
cvc5

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Unsolved	Abstained	Timeout	Memout
2022-z3-4.8.17n	0	87220	616409.73	616642.22	244019	0	1022	0
cvc5	0	58046	64141.36	64338.45	297427	0	972	0
SMTInterpol	0	37986	98876.27	68140.01	317487	0	1045	0
UltimateEliminator+MathSAT	0	9564	3666.08	3577.05	345163	0	3	0

n Non-competing.
Abstained: Total of benchmarks in logics in this division that solver chose to abstain from. For SAT/UNSAT scores, this column also includes benchmarks not known to be SAT/UNSAT.