Analytic Solver Data Mining