SAT BMC Examples
Note: The following may be run, for example, as follows:
    sbsat -R r counter.cnf