-NOTE1: the checker can also verify unsat instances by looking at the hardwired set unsat.txt


To use this checker, just execute the checker in a terminal console:
./checker.sh EXITCODE INSTANCE < WITNESS

Given a WITNESS (answer set) as a set of facts on a *single line*
the checker will assess whether this represents a witness for an INSTANCE, or not.
Additionally, the EXITCODE of the solver is provided, for details see the specification at

https://www.mat.unical.it/aspcomp2014/ProblemIOSpecification

An example call for the checker would be
        ./checker.sh 10 instance.asp < rightSolution.txt
which returns OK on stdout and exits with code 0.


-NOTE2: check for INCONSISTENCY NOT TO BE USED AFTER INSTANCE RENAMING.


-Diagnostic mode:
 ./iclingo ricochet_chk.asp <(echo 'debug.') instancefile witnessfile
