Solvers > Validation [2..9] for number of ops
Solvers > Bugfixes, tests