# Benchmark Comparison: impact-models-change

## With LeanKG
- Total Tokens: 0
- Input: 0
- Cached: 0
- Files Referenced: []

## Without LeanKG
- Total Tokens: 0
- Input: 0
- Cached: 0
- Files Referenced: []

## Overhead
- Token Delta: 0
