Arith (Incremental Track)

Competition results for the Arith division in the Incremental Track.

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

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

Logics:

• LIA : 6 benchmarks
• LRA : 5 benchmarks

Winners

Parallel Performance
cvc5

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Unsolved	Abstained	Timeout	Memout
2021-cvc5-incn	0	41362	94.61	93.49	0	0	0	0
cvc5	0	41362	171.36	170.32	0	0	0	0
UltimateEliminator+MathSAT	0	41362	698.81	484.89	0	0	0	0
SMTInterpol	0	38114	209.06	84.82	3248	0	1	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.