text.append("\nTime: " + dateFormat.format(m_time));
  public String toString() {    StringBuffer text = new StringBuffer();    SimpleDateFormat dateFormat       = new SimpleDateFormat("mm 'min' ss 's' SSS 'ms'");    SimpleLinkedList.LinkedListIterator iter = m_results.iterator();    int size = m_results.size();    int i = 0;    text.append("\nTertius\n=======\n\n");    while (iter.hasNext()) {      Rule current = (Rule) iter.next();      text.append(Utils.doubleToString((double) i + 1,				       (int) (Math.log(size) 					      / Math.log(10) + 1),				       0)		  + ". ");      text.append("/* ");      if (m_roc) {	text.append(current.rocToString());      } else {	text.append(current.valuesToString());      }      text.append(" */ ");      text.append(current.toString());      text.append("\n");      i++;    }     text.append("\nNumber of hypotheses considered: " + m_hypotheses);    text.append("\nNumber of hypotheses explored: " + m_explored);    text.append("\nTime: " + dateFormat.format(m_time));    if (m_status == MEMORY) {      text.append("\n\nNot enough memory to continue the search");    } else if (m_status == STOP) {      text.append("\n\nSearch interrupted");    }    return text.toString();  }