added "solver" to filename