QF_LIA (Application Track)

Competition results for the QF_LIA division as of Thu Jul 7 07:24:34 GMT

Benchmarks in this division: 69
Time Limit: 2400s

Winner : Yices2

Result table¹

Parallel Performance

Solver	Error Score	Correct Score	avg. CPU time	avg. WALL time
CVC4n	0	12476294	105507.59	104986.33
Yices2	0	19985861	34801.48	34438.95
MathSat5n	0	17952259	58672.24	58202.69
SMTInterpol	0	19985124	74920.11	68544.62
z3n	0	19985669	53975.65	53526.81

n. Non-competitive.

1. Scores are computed according to Section 7 of the rules.