Equality+LinearArith (Incremental Track)

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

Page generated on 2022-08-10 11:18:21 +0000

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

Logics:

• ALIA : 24 benchmarks
• UFLRA : 935 benchmarks

Winners

Parallel Performance
cvc5

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Unsolved	Abstained	Timeout	Memout
2021-z3n	0	530572	143073.651	142813.777	259981	0	49	0
z3-4.8.17n	0	525939	144674.906	144570.399	264614	0	50	0
cvc5	0	310271	45812.902	45675.133	480282	0	14	0
smtinterpol	0	302954	385213.658	377406.858	487599	0	226	0
UltimateEliminator+MathSAT	0	198581	11897.207	8581.092	591972	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.