USAGE: ./mingoR.sh instance encoding

EXAMPLE: ./mingoR.sh \
  DisjScheduling/instances/disjunctiveScheduling.in10 \
  DisjScheduling/encodings/DisjunctiveScheduling.mingo

