QF_Equality+NonLinearArith (Unsat Core Track)

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

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

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

Logics:

• QF_ANIA : 29 benchmarks
• QF_AUFNIA : 12 benchmarks
• QF_UFNIA : 205 benchmarks
• QF_UFNRA : 25 benchmarks

Winners

Sequential Performance	Parallel Performance
cvc5	cvc5

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
2021-cvc5-ucn	0	181341	2070.406	2041.23		19	0
cvc5	0	132778	1879.347	1819.613		24	0
SMTInterpol	0	71257	1088.882	780.519		10	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
2021-cvc5-ucn	0	181341	2070.406	2041.23		19	0
cvc5	0	132778	1879.347	1819.613		24	0
SMTInterpol	0	71257	1088.882	780.519		10	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.