Equality+NonLinearArith (Incremental Track)

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

Page generated on 2022-08-10 11:18:21 +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
z3-4.8.17n	0	99481	1387757.961	1387620.76	260222	0	1014	4
2020-z3n	0	98688	1394329.921	1394300.656	261015	0	1018	4
cvc5	0	57935	1062710.588	1062533.336	326002	0	847	0
smtinterpol	0	38904	1334557.402	1318035.651	345033	0	1062	0
UltimateEliminator+MathSAT	0	13284	13087.219	7442.215	370653	0	2	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.