code: private int remainingVars() {
          int res = maxvar();
          res -= this.stats.varsFixed;
          res -= this.stats.varsEquivalent;
          res -= this.stats.varsEliminated;
          return res;
      }
docs: Returns the number of remaining variables without fixed and eliminated.
  @return the number of remaining variables