QF_UFLRA (Unsat Core Track)

Competition results for the QF_UFLRA division as of Thu Jul 12 23:54:00 GMT

Benchmarks in this division : 511
Time limit: 2400s

Winners

Sequential Performance	Parallel Performance
Yices 2.6.0	Yices 2.6.0

Result table¹

Sequential Performance

Solver	Error Score	Reduction Score	avg. CPU time
SMTInterpol	0.000	179.702	4.812
Yices 2.6.0	0.000	181.114	0.077
CVC4	0.000	176.839	0.699
mathsat-5.5.2n	0.000	188.173	0.277
z3-4.7.1n	0.000	188.173	0.298

Parallel Performance

Solver	Error Score	Reduction Score	avg. CPU time	avg. WALL time
SMTInterpol	0.000	179.702	4.812	3.019
Yices 2.6.0	0.000	181.114	0.077	0.080
CVC4	0.000	176.839	0.699	0.699
mathsat-5.5.2n	0.000	188.173	0.277	0.278
z3-4.7.1n	0.000	188.173	0.298	0.299

n. Non-competing.

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