diff --git a/README.md b/README.md
index c04c3c8c7fc504493ddca9fbf4ce708604e781a8..d26e0bcb32833a1d3bec7799bf626525ada7687e 100644
--- a/README.md
+++ b/README.md
@@ -1,7 +1,10 @@
-# Benchmarks for my Master's Thesis
+# Benchmarks for CoPaR
 
 This repository contains tooling and raw results from benchmarking
-[CoPaR](https://gitlab.cs.fau.de/i8/copar).
+[CoPaR](https://git8.cs.fau.de/software/copar).
 
-The file `cabal.project.freeze` contains the versions of all Haskell
-dependencies that were used to compile CoPaR for these results.
+This repo contains benchmarks for:
+
+- Deterministic Finite Automata in `dfa/`
+- Adaptions of the benchmark suite of the PRISM model checker in `prism/`
+- Weighted Tree Automata in `wta/`