Taking your Solver for a Test Drive