starting work on spn solvers comparison section