Equality+MachineArith (Unsat Core Track)

Competition results for the Equality+MachineArith division in the Unsat Core Track.

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

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

Logics:

• ABV : 485 benchmarks
• ABVFP : 3 benchmarks
• ABVFPLRA : 4 benchmarks

Winners

Sequential Performance	Parallel Performance
cvc5	cvc5

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
cvc5	0	151	5.251	5.234		1	0
2022-z3-4.8.17n	0	121	1438.91	1439.297		13	0
Bitwuzla Fixedn	0	111	134.839	134.856		3	0
Bitwuzla	0	111	137.77	137.882		3	0
UltimateEliminator+MathSAT	0	0	0.0	0.0		0	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
cvc5	0	151	5.251	5.234		1	0
2022-z3-4.8.17n	0	121	1438.91	1439.297		13	0
Bitwuzla Fixedn	0	111	134.839	134.856		3	0
Bitwuzla	0	111	137.77	137.882		3	0
UltimateEliminator+MathSAT	0	0	0.0	0.0		0	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.