QF_AUFLIA (Unsat Core Track)

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

Benchmarks in this division: 516
Time Limit: 2400s

Non-Competitive division

Result table¹

Sequential Performance

Solver	Error Score	Reduction Score	avg. CPU time	avg. WALL time
MathSat5n	42.762	19537.953	2.672	2.670
SMTInterpol	0.000	605.859	3.304	1.805
veriTn	0.000	0.000	0.009	0.013
z3n	0.000	19906.259	0.299	0.298

n. Non-competitive.

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