Add MathSAT5 benchmark results