QF_LinearIntArith (Unsat Core Track)

Competition results for the QF_LinearIntArith division in the Unsat Core Track.

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

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

Logics:

• QF_IDL : 100 benchmarks
• QF_LIA : 276 benchmarks
• QF_LIRA : 5 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	1404408	212950.301	212959.376		165	0
MathSAT5n	0	1309080	219217.415	219272.556		179	1
SMTInterpol	0	1267402	137566.657	135809.774		104	0
Yices2	0	1049374	145996.373	146015.321		110	0
2020-Yices2-fixedn	0	1046504	145558.879	145569.92		110	0
z3n	0	972607	188294.508	188319.798		154	0
SMTInterpol-remus	0	366734	267198.202	261103.491		128	0

Parallel Performance

Solver	Error Score	Correct Score	CPU Time Score	Wall Time Score	Abstained	Timeout	Memout
cvc5-uc	0	1404408	212975.801	212952.726		165	0
MathSAT5n	0	1309080	219263.555	219264.296		179	1
SMTInterpol	0	1267402	137566.657	135809.774		104	0
Yices2	0	1049374	146008.083	146010.401		110	0
2020-Yices2-fixedn	0	1046504	145576.629	145565.43		110	0
z3n	0	972607	188313.528	188313.988		154	0
SMTInterpol-remus	0	735080	267669.222	260436.511		115	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.