On the evaluation of (meta-)solver approaches