QF_ALIA (Unsat Core Track)

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

Benchmarks in this division : 80
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	3161.368	13.828
Yices 2.6.0	0.000	3323.092	0.158
CVC4	0.000	2692.415	176.225
mathsat-5.5.2n	0.000	3219.296	0.931
z3-4.7.1n	0.000	3383.393	2.243

Parallel Performance

Solver	Error Score	Reduction Score	avg. CPU time	avg. WALL time
SMTInterpol	0.000	3161.368	13.828	10.595
Yices 2.6.0	0.000	3323.092	0.158	0.159
CVC4	0.000	2692.415	176.225	176.256
mathsat-5.5.2n	0.000	3219.296	0.931	0.905
z3-4.7.1n	0.000	3383.393	2.243	2.229

n. Non-competing.

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