Add a test problem, in all three input formats.