QF_UFLIA (Main Track)

Benchmarks in this division: 210
Time Limit: 1200s

Winners

Winner	Open-Source Winner
MathSAT5-smtcomp12	SMTInterpol

Result table¹

Solver	Score	Time
MathSAT5-smtcomp12	190	8921.5
CVC4 1.0rc.3931	158	7490.2
SMTInterpol	157	37338.7
CVC3 2.4.2	93	10567.8
Z3, 2011 winner QF_UFLIA and QF_LIAn	195	4944.4
CVC4 1.0rc3970, patched resubmissionn	166	7394.0

n. Non-competitive.