code: private int sizePenalty() {
          long numClauses = (long) this.stats.clausesIrredundant / this.config.sizepen;
          int logres = 0;
          while (numClauses != 0 && logres < this.config.sizemaxpen) {
              numClauses >>= 1;
              logres++;
          }
          return 1 << logres;
      }
docs: Reduces simplification steps for large formulas.
  @return the size penalty