We should have a battery of tests with known solutions to ensure that the modeling of problems is accurately mapping to and from the backend solvers.