This also modifies the test to explicitly test each of the equilibrium solvers, so that failures in any one solver aren't hidden by the fact that a different solver works for a particular initial condition.