Execution Time should not include the Solver Configuration Time

[koalamitice]

The Meta-Data "Execution time" currently includes the time it requires to configure a solver when using the frontend.
We should change this behavior, so that it only includes the actual computation time of the solvers.