Equality+NonLinearArith (Unsat Core Track)

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

Page generated on 2021-07-18 17:31:25 +0000

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

Logics:

• AUFDTNIRA : 50 benchmarks
• AUFNIA : 3 benchmarks
• AUFNIRA : 526 benchmarks
• UFDTNIRA : 349 benchmarks
• UFNIA : 1588 benchmarks

Winners

Sequential Performance	Parallel Performance
cvc5-uc	cvc5-uc

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
2020-CVC4-ucn	0	122061	329893.848	329936.487		237	0
cvc5-uc	0	121729	441238.367	441227.972		317	0
Vampire	0	99641	500287.079	374726.434		273	0
z3n	0	82954	173620.742	174723.497		92	1
UltimateEliminator+MathSAT	0	402	321855.388	312922.666		229	0
SMTInterpol	0	326	2334.502	1064.127		0	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
2020-CVC4-ucn	0	122061	329974.618	329925.657		237	0
cvc5-uc	0	121729	441308.387	441214.652		317	0
Vampire	0	102686	598548.869	295220.129		156	0
z3n	0	82954	173826.482	174719.657		92	1
UltimateEliminator+MathSAT	0	402	321912.578	312918.086		228	0
SMTInterpol	0	326	2334.502	1064.127		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.