A linux application is available to check if your software's output is complies with the format defines in the project statement.
The sigma.tecnico.pt computer is a linux system.
The checker need the original problem instance, as well as a file with the output of your tool. See the example below:
proj1-checker t1.sms t1.out
A zip file with some examples of input and output is also available.