QF_Equality+LinearArith (Unsat Core Track)

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

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

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

Logics:

• QF_ALIA : 30 benchmarks
• QF_AUFLIA : 300 benchmarks
• QF_UFDTLIRA : 17 benchmarks
• QF_UFIDL : 113 benchmarks
• QF_UFLIA : 16 benchmarks
• QF_UFLRA : 101 benchmarks

Winners

Sequential Performance	Parallel Performance
Yices2	Yices2

Sequential Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
Yices2	0	821341	72859.925	72873.108		38	0
MathSATn	0	800757	60659.256	60680.488		35	0
2021-MathSAT5n	0	781706	62262.049	62672.191		37	0
z3-4.8.17n	0	468939	63337.642	63348.465		29	0
smtinterpol	0	187293	117395.903	112484.867		87	0
cvc5	0	54592	117705.493	117723.102		94	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
Yices2	0	821341	72865.225	72871.508		38	0
MathSATn	0	800757	60672.676	60678.898		35	0
2021-MathSAT5n	0	781706	62530.519	62670.211		37	0
z3-4.8.17n	0	468939	63342.512	63347.295		29	0
smtinterpol	0	213113	118037.053	111784.761		85	0
cvc5	0	54592	117721.793	117719.132		94	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.