Tests for SolversUtils implemented