QF_Equality+NonLinearArith (Unsat Core Track)

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

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

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

Logics:

• QF_ANIA : 27 benchmarks
• QF_AUFNIA : 12 benchmarks
• QF_UFNIA : 195 benchmarks
• QF_UFNRA : 11 benchmarks

Winners

Sequential Performance	Parallel Performance
smtinterpol	smtinterpol

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
2021-cvc5-ucn	0	80132	19784.106	19787.946		14	0
smtinterpol	0	69752	13010.973	12720.466		10	0
MathSATn	0	65187	32593.266	32596.507		26	0
z3-4.8.17n	0	37854	14870.568	14874.858		11	0
cvc5	0	32873	23137.48	23142.534		18	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
2021-cvc5-ucn	0	80132	19787.926	19787.426		14	0
smtinterpol	0	69752	13010.973	12720.466		10	0
MathSATn	0	65187	32596.166	32595.397		26	0
z3-4.8.17n	0	37854	14872.968	14874.398		11	0
cvc5	0	32873	23141.16	23141.444		18	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.