QF_UFIDL (Unsat Core Track)

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

Benchmarks in this division : 322
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	46.681	113.416
Yices 2.6.0	0.000	46.681	24.317
CVC4	0.000	46.681	299.878
mathsat-5.5.2n	0.000	46.681	118.665
z3-4.7.1n	0.000	46.681	26.207

Parallel Performance

Solver	Error Score	Reduction Score	avg. CPU time	avg. WALL time
SMTInterpol	0.000	46.681	120.223	105.215
Yices 2.6.0	0.000	46.681	24.317	24.320
CVC4	0.000	46.681	299.884	299.913
mathsat-5.5.2n	0.000	46.681	118.666	118.659
z3-4.7.1n	0.000	46.681	26.207	26.191

n. Non-competing.

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