number of threads is now configured through SolverConfiguration, a new super interface of IFDSTabulationProblem