QF_Equality+NonLinearArith (Unsat Core Track)

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

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

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

Logics:

• QF_ANIA : 8 benchmarks
• QF_AUFNIA : 12 benchmarks
• QF_UFNIA : 179 benchmarks
• QF_UFNRA : 11 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
cvc5-uc	0	80015	1434.877	1435.303		0	0
MathSAT5n	0	65084	13764.648	13768.082		11	0
z3n	0	27006	1891.262	2413.435		2	0
Yices2	0	0	0.65	2.336		0	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
cvc5-uc	0	80015	1434.877	1435.303		0	0
MathSAT5n	0	65084	13766.068	13767.342		11	0
z3n	0	27006	2412.792	2413.335		2	0
Yices2	0	0	0.65	2.336		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.