QF_ALIA (Unsat Core Track)

Competition results for the QF_ALIA division as of Wed Jun 29 20:25:52 GMT

Benchmarks in this division : 80

Non-Competitive division

Result table¹

Sequential Performance

Solver	Error Score	Reduction Score	avg. CPU time	avg. WALL time
MathSat5n	0.000	3155.927	2.764	2.763
SMTInterpol	0.000	3280.747	11.956	8.392
veriTn	0.000	0.000	0.057	0.059
z3n	0.000	3397.356	61.352	61.350

n. Non-competitive.

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