code: public int getArgmaxConfigId() {
          int argmax = -1;
          double max = s.minValue();
          for (int c = 0; c < this.values.length; c++) {
              if (s.gte(values[c], max)) {
                  max = values[c];
                  argmax = c;
              }
          }
          return argmax;
      }
docs: Gets the ID of the configuration with the maximum value.