diff --git a/freiburg1.json b/archive/freiburg1.json similarity index 100% rename from freiburg1.json rename to archive/freiburg1.json diff --git a/innsbruck.json b/archive/innsbruck.json similarity index 100% rename from innsbruck.json rename to archive/innsbruck.json diff --git a/npl1.json b/archive/npl1.json similarity index 100% rename from npl1.json rename to archive/npl1.json diff --git a/npl2.json b/archive/npl2.json similarity index 100% rename from npl2.json rename to archive/npl2.json diff --git a/siegen.json b/archive/siegen.json similarity index 100% rename from siegen.json rename to archive/siegen.json diff --git a/uamsterdam.json b/archive/uamsterdam.json similarity index 100% rename from uamsterdam.json rename to archive/uamsterdam.json