Equality+NonLinearArith (Unsat Core Track)

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

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

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

Logics:

• ANIA : 1 benchmarks
• AUFDTNIRA : 618 benchmarks
• AUFNIA : 3 benchmarks
• AUFNIRA : 549 benchmarks
• UFDTNIA : 1 benchmarks
• UFDTNIRA : 2022 benchmarks
• UFNIA : 3620 benchmarks

Winners

Sequential Performance	Parallel Performance
cvc5	cvc5

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
2020-CVC4-ucn	0	218759	47036.186	46883.66		791	0
cvc5	0	218160	87785.912	87746.161		679	0
Vampire	0	58059	1786.427	508.383		935	0
UltimateEliminator+MathSAT	1	496	4462.221	3401.95		214	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
2020-CVC4-ucn	0	218759	47036.186	46883.66		791	0
cvc5	0	218160	87785.912	87746.161		679	0
Vampire	0	58608	6861.857	1784.963		598	0
UltimateEliminator+MathSAT	1	496	4462.221	3401.95		212	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.