code: def get_result_classification(result):
      '''
      Classify the given result into "true" (property holds),
      "false" (property does not hold), "unknown", and "error".
      @param result: The result given by the tool (needs to be one of the RESULT_* strings to be recognized).
      @return One of RESULT_CLASS_* strings
      '''
      if result not in RESULT_LIST:
          if result and result.startswith(RESULT_FALSE_PROP + "(") and result.endswith(")"):
              return RESULT_CLASS_FALSE
          return RESULT_CLASS_OTHER
  
      if result == RESULT_TRUE_PROP or result == RESULT_SAT:
          return RESULT_CLASS_TRUE
      else:
          return RESULT_CLASS_FALSf get_result_classification(result):
      '''
      Classify the given result into "true" (property holds),
      "false" (property does not hold), "unknown", and "error".
      @param result: The result given by the tool (needs to be one of the RESULT_* strings to be recognized).
      @return One of RESULT_CLASS_* strings
      '''
      if result not in RESULT_LIST:
          if result and result.startswith(RESULT_FALSE_PROP + "(") and result.endswith(")"):
              return RESULT_CLASS_FALSE
          return RESULT_CLASS_OTHER
  
      if result == RESULT_TRUE_PROP or result == RESULT_SAT:
          return RESULT_CLASS_TRUE
      else:
          return RESULT_CLASS_FALSE
docs: Classify the given result into "true" (property holds),
      "false" (property does not hold), "unknown", and "error".
      @param result: The result given by the tool (needs to be one of the RESULT_* strings to be recognized).
      @return One of RESULT_CLASS_* strings