To use the checker, execute it in a terminal console with two parameters,
the exit code from the solver and the path to the problem instance, and giving,
in standard input, a witness as a set of facts on a single line. 

For example, to test a correct and an incorrect solution, use the following commands:

	./checker.sh 10 instance.asp < rightSolution.txt
	./checker.sh 10 instance.asp < wrongSolution.txt

