public static void clearQueryResultsCache() {
    { AtomicGoalCache cache = null;
      Vector vector000 = Logic.$SUCCEEDED_GOALS_CACHE$;
      int index000 = 0;
      int length000 = vector000.length();

      for (;index000 < length000; index000 = index000 + 1) {
        cache = ((AtomicGoalCache)((vector000.theArray)[index000]));
        if (cache != null) {
          Proposition.setGoalCacheList(cache.proposition, null);
        }
      }
    }
    Logic.$SUCCEEDED_GOALS_CACHE$.clear();
    Logic.$FAILED_GOALS_CACHE$.clear();
    Logic.$FAILED_GOAL_CUTOFFS$ = 0;
    Logic.$SUCCEEDED_GOAL_CUTOFFS$ = 0;
  }