# Kelvin run outputs are regenerated by ./run.sh; only the human-readable
# Table 3 in results/ is committed so reviewers don't need to re-run locally.
grounded/kelvin/
degenerate/kelvin/
