Add statistics in ManyCore solvers on the solvers that answers
When using a manycore solver, it would be nice to have some statistics concerning the solvers that have been used to compute the solutions.
When using a manycore solver, it would be nice to have some statistics concerning the solvers that have been used to compute the solutions.