Importing tests form solvers Part III