The Test Model Library contains problems that can be used to test the speed and correctness of solvers. To see a short summary of every model in the library, download the model_index file.