diff --git a/trainbenchmark/diagrams/.gitignore b/trainbenchmark/diagrams/.gitignore
new file mode 100644
index 0000000000000000000000000000000000000000..d6b7ef32c8478a48c3994dcadc86837f4371184d
--- /dev/null
+++ b/trainbenchmark/diagrams/.gitignore
@@ -0,0 +1,2 @@
+*
+!.gitignore
diff --git a/trainbenchmark/diagrams/recent/benchmark/inject/Check-inject.pdf b/trainbenchmark/diagrams/recent/benchmark/inject/Check-inject.pdf
deleted file mode 100644
index d6947d6ce999419bed0017f9f70daf7c7810d0da..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/benchmark/inject/Check-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/benchmark/inject/Read-and-Check-inject.pdf b/trainbenchmark/diagrams/recent/benchmark/inject/Read-and-Check-inject.pdf
deleted file mode 100644
index 123c7a5c9dd0ac6c2dd812895fa0ed7203deb0b1..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/benchmark/inject/Read-and-Check-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/benchmark/inject/Read-inject.pdf b/trainbenchmark/diagrams/recent/benchmark/inject/Read-inject.pdf
deleted file mode 100644
index 15c5b9a29691e0f0540c94134493a4c1597395db..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/benchmark/inject/Read-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/benchmark/inject/Recheck-inject.pdf b/trainbenchmark/diagrams/recent/benchmark/inject/Recheck-inject.pdf
deleted file mode 100644
index ddfa5171be8a48f594428b53aad5f3912227793e..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/benchmark/inject/Recheck-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/benchmark/inject/Transformation-and-Recheck-inject.pdf b/trainbenchmark/diagrams/recent/benchmark/inject/Transformation-and-Recheck-inject.pdf
deleted file mode 100644
index 7ff11e41e227821cc5987888bf26df8881230098..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/benchmark/inject/Transformation-and-Recheck-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/benchmark/inject/Transformation-inject.pdf b/trainbenchmark/diagrams/recent/benchmark/inject/Transformation-inject.pdf
deleted file mode 100644
index 9a399d794b41c0e14522becd08cef6399d39fd34..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/benchmark/inject/Transformation-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/benchmark/repair/Check-repair.pdf b/trainbenchmark/diagrams/recent/benchmark/repair/Check-repair.pdf
deleted file mode 100644
index 8deccb22dde9d065c0d1f205e935b737e4d223b9..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/benchmark/repair/Check-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/benchmark/repair/Read-and-Check-repair.pdf b/trainbenchmark/diagrams/recent/benchmark/repair/Read-and-Check-repair.pdf
deleted file mode 100644
index ac82107d26999944211f720523690e7fcfcd1fc4..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/benchmark/repair/Read-and-Check-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/benchmark/repair/Read-repair.pdf b/trainbenchmark/diagrams/recent/benchmark/repair/Read-repair.pdf
deleted file mode 100644
index c94f3fbfe5aab7609e407dc0bc753ddf1a9ff530..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/benchmark/repair/Read-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/benchmark/repair/Recheck-repair.pdf b/trainbenchmark/diagrams/recent/benchmark/repair/Recheck-repair.pdf
deleted file mode 100644
index 6c9e959d5eaf8400de377b03e1f26f7bbb72bc49..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/benchmark/repair/Recheck-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/benchmark/repair/Transformation-and-Recheck-repair.pdf b/trainbenchmark/diagrams/recent/benchmark/repair/Transformation-and-Recheck-repair.pdf
deleted file mode 100644
index f85a2fd00ae41649cedbf3932c4e6261b2a91654..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/benchmark/repair/Transformation-and-Recheck-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/benchmark/repair/Transformation-repair.pdf b/trainbenchmark/diagrams/recent/benchmark/repair/Transformation-repair.pdf
deleted file mode 100644
index 68b0b661c59bc3f3584a62d5d752ee41b7a22199..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/benchmark/repair/Transformation-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Check-ConnectedSegments-inject.pdf b/trainbenchmark/diagrams/recent/inject/Check-ConnectedSegments-inject.pdf
deleted file mode 100644
index eeb9e78f221ae8e19377445b472030a00cab7f64..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Check-ConnectedSegments-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Check-PosLength-inject.pdf b/trainbenchmark/diagrams/recent/inject/Check-PosLength-inject.pdf
deleted file mode 100644
index fd4c4b292d7437a6d03f4c09aba3f3ddaf40c1bc..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Check-PosLength-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Check-RouteSensor-inject.pdf b/trainbenchmark/diagrams/recent/inject/Check-RouteSensor-inject.pdf
deleted file mode 100644
index bb540b0df79cfdcdcf1fbd4687bc68dca5856d87..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Check-RouteSensor-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Check-SemaphoreNeighbor-inject.pdf b/trainbenchmark/diagrams/recent/inject/Check-SemaphoreNeighbor-inject.pdf
deleted file mode 100644
index 7dda2c0189c6b17ac2fae262e05b0ab6c53bc884..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Check-SemaphoreNeighbor-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Check-SwitchMonitored-inject.pdf b/trainbenchmark/diagrams/recent/inject/Check-SwitchMonitored-inject.pdf
deleted file mode 100644
index 02868dbc2fae171f6b9644e033a5b952aab06773..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Check-SwitchMonitored-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Check-SwitchSet-inject.pdf b/trainbenchmark/diagrams/recent/inject/Check-SwitchSet-inject.pdf
deleted file mode 100644
index 5bec2d7bc2ca0ca624f218cf3b82fd3cff8296eb..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Check-SwitchSet-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Read-ConnectedSegments-inject.pdf b/trainbenchmark/diagrams/recent/inject/Read-ConnectedSegments-inject.pdf
deleted file mode 100644
index d71f54c4b6ecfe37a1faa60bb7b4e177515a8c34..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Read-ConnectedSegments-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Read-PosLength-inject.pdf b/trainbenchmark/diagrams/recent/inject/Read-PosLength-inject.pdf
deleted file mode 100644
index 92f076d7de7afd468ebd6f44a85fc2ba8464b047..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Read-PosLength-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Read-RouteSensor-inject.pdf b/trainbenchmark/diagrams/recent/inject/Read-RouteSensor-inject.pdf
deleted file mode 100644
index ba2956e32dcf26549504515f3ce022f3f642ff70..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Read-RouteSensor-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Read-SemaphoreNeighbor-inject.pdf b/trainbenchmark/diagrams/recent/inject/Read-SemaphoreNeighbor-inject.pdf
deleted file mode 100644
index 72cbfcd2947cb4ebd8c6441e73e1c02177b1a2a7..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Read-SemaphoreNeighbor-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Read-SwitchMonitored-inject.pdf b/trainbenchmark/diagrams/recent/inject/Read-SwitchMonitored-inject.pdf
deleted file mode 100644
index 438e17631590a1358c667b87cfd52c9c86e8c71c..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Read-SwitchMonitored-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Read-SwitchSet-inject.pdf b/trainbenchmark/diagrams/recent/inject/Read-SwitchSet-inject.pdf
deleted file mode 100644
index ad3e7f5e3d99aa058f358833c9acb0bb3fdd23bc..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Read-SwitchSet-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Read-and-Check-ConnectedSegments-inject.pdf b/trainbenchmark/diagrams/recent/inject/Read-and-Check-ConnectedSegments-inject.pdf
deleted file mode 100644
index 0a20cd342c07b9dd680519d793deb11d47cb660a..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Read-and-Check-ConnectedSegments-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Read-and-Check-PosLength-inject.pdf b/trainbenchmark/diagrams/recent/inject/Read-and-Check-PosLength-inject.pdf
deleted file mode 100644
index aed5c65ce1acefd5a2b3e374ce3249b7d3dbb158..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Read-and-Check-PosLength-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Read-and-Check-RouteSensor-inject.pdf b/trainbenchmark/diagrams/recent/inject/Read-and-Check-RouteSensor-inject.pdf
deleted file mode 100644
index 39484c69f9246446f81845920cc5eb157c3ffa9a..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Read-and-Check-RouteSensor-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Read-and-Check-SemaphoreNeighbor-inject.pdf b/trainbenchmark/diagrams/recent/inject/Read-and-Check-SemaphoreNeighbor-inject.pdf
deleted file mode 100644
index 123d39da7247bc46bb3c499137d87b02cf8ada11..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Read-and-Check-SemaphoreNeighbor-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Read-and-Check-SwitchMonitored-inject.pdf b/trainbenchmark/diagrams/recent/inject/Read-and-Check-SwitchMonitored-inject.pdf
deleted file mode 100644
index b6dac1871bc5569a5d8df1b81ab1139acbfd4e5e..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Read-and-Check-SwitchMonitored-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Read-and-Check-SwitchSet-inject.pdf b/trainbenchmark/diagrams/recent/inject/Read-and-Check-SwitchSet-inject.pdf
deleted file mode 100644
index e567174bfaba2eb7b9786912e4893dd9881579af..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Read-and-Check-SwitchSet-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Recheck-ConnectedSegments-inject.pdf b/trainbenchmark/diagrams/recent/inject/Recheck-ConnectedSegments-inject.pdf
deleted file mode 100644
index 3c5d4c24e71c123757a14cb75e8673396d650e9b..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Recheck-ConnectedSegments-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Recheck-PosLength-inject.pdf b/trainbenchmark/diagrams/recent/inject/Recheck-PosLength-inject.pdf
deleted file mode 100644
index 04c1a7747d23aaad3cd842e26d57ed500928a32a..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Recheck-PosLength-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Recheck-RouteSensor-inject.pdf b/trainbenchmark/diagrams/recent/inject/Recheck-RouteSensor-inject.pdf
deleted file mode 100644
index 51f33acc55c077fdd68dd5dbd76e540d075edd25..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Recheck-RouteSensor-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Recheck-SemaphoreNeighbor-inject.pdf b/trainbenchmark/diagrams/recent/inject/Recheck-SemaphoreNeighbor-inject.pdf
deleted file mode 100644
index b702411b1d8d327dee4c50f04b9669056f083df6..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Recheck-SemaphoreNeighbor-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Recheck-SwitchMonitored-inject.pdf b/trainbenchmark/diagrams/recent/inject/Recheck-SwitchMonitored-inject.pdf
deleted file mode 100644
index 8fa3034fc772ef2e45d57c7b377c1a14d9702de8..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Recheck-SwitchMonitored-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Recheck-SwitchSet-inject.pdf b/trainbenchmark/diagrams/recent/inject/Recheck-SwitchSet-inject.pdf
deleted file mode 100644
index f74b4fd9ab5b98edff4e7e2dab6cab2914af14a1..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Recheck-SwitchSet-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Transformation-ConnectedSegments-inject.pdf b/trainbenchmark/diagrams/recent/inject/Transformation-ConnectedSegments-inject.pdf
deleted file mode 100644
index 3cb5cf39320d44e5de13aff0b54611daf99c0309..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Transformation-ConnectedSegments-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Transformation-PosLength-inject.pdf b/trainbenchmark/diagrams/recent/inject/Transformation-PosLength-inject.pdf
deleted file mode 100644
index a953745f93983a83edf96f98590dc67d48ac7971..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Transformation-PosLength-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Transformation-RouteSensor-inject.pdf b/trainbenchmark/diagrams/recent/inject/Transformation-RouteSensor-inject.pdf
deleted file mode 100644
index 6aff955f42399030befda9b151df8440f50f8053..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Transformation-RouteSensor-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Transformation-SemaphoreNeighbor-inject.pdf b/trainbenchmark/diagrams/recent/inject/Transformation-SemaphoreNeighbor-inject.pdf
deleted file mode 100644
index a353abc9bcc720a3b745109033ba1173f65f4077..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Transformation-SemaphoreNeighbor-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Transformation-SwitchMonitored-inject.pdf b/trainbenchmark/diagrams/recent/inject/Transformation-SwitchMonitored-inject.pdf
deleted file mode 100644
index e44095a31de02e89b6c3f366e0e7b63564415e41..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Transformation-SwitchMonitored-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Transformation-SwitchSet-inject.pdf b/trainbenchmark/diagrams/recent/inject/Transformation-SwitchSet-inject.pdf
deleted file mode 100644
index 6dcebd61de83c2f7d599d0db8dfccf01b9c5d342..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Transformation-SwitchSet-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Transformation-and-Recheck-ConnectedSegments-inject.pdf b/trainbenchmark/diagrams/recent/inject/Transformation-and-Recheck-ConnectedSegments-inject.pdf
deleted file mode 100644
index 9f8a1c195ea89c7d12a3ec65e63ff024ccbc2c69..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Transformation-and-Recheck-ConnectedSegments-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Transformation-and-Recheck-PosLength-inject.pdf b/trainbenchmark/diagrams/recent/inject/Transformation-and-Recheck-PosLength-inject.pdf
deleted file mode 100644
index e0e6814a1a778ec7786fb82a4c2e4acfb495a17c..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Transformation-and-Recheck-PosLength-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Transformation-and-Recheck-RouteSensor-inject.pdf b/trainbenchmark/diagrams/recent/inject/Transformation-and-Recheck-RouteSensor-inject.pdf
deleted file mode 100644
index 25f3673cd1598bd438d9c52ec077df9a42100a93..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Transformation-and-Recheck-RouteSensor-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Transformation-and-Recheck-SemaphoreNeighbor-inject.pdf b/trainbenchmark/diagrams/recent/inject/Transformation-and-Recheck-SemaphoreNeighbor-inject.pdf
deleted file mode 100644
index 95fc44f8c8a0912c79916f9c3bcac6f0e9eaea60..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Transformation-and-Recheck-SemaphoreNeighbor-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Transformation-and-Recheck-SwitchMonitored-inject.pdf b/trainbenchmark/diagrams/recent/inject/Transformation-and-Recheck-SwitchMonitored-inject.pdf
deleted file mode 100644
index 026807dc7d31916c937a6b571803102a703841a2..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Transformation-and-Recheck-SwitchMonitored-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/inject/Transformation-and-Recheck-SwitchSet-inject.pdf b/trainbenchmark/diagrams/recent/inject/Transformation-and-Recheck-SwitchSet-inject.pdf
deleted file mode 100644
index 0768e56a52cd704dd1d831b0de7a65b8bff4f907..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/inject/Transformation-and-Recheck-SwitchSet-inject.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Check-ConnectedSegments-repair.pdf b/trainbenchmark/diagrams/recent/repair/Check-ConnectedSegments-repair.pdf
deleted file mode 100644
index 6f391562393970d3f783223754d270a736b1ff5b..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Check-ConnectedSegments-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Check-PosLength-repair.pdf b/trainbenchmark/diagrams/recent/repair/Check-PosLength-repair.pdf
deleted file mode 100644
index e1753da68393b783ba075df39f4a54a63e993896..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Check-PosLength-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Check-RouteSensor-repair.pdf b/trainbenchmark/diagrams/recent/repair/Check-RouteSensor-repair.pdf
deleted file mode 100644
index d18eb79a1ab622392a6ee3f3b6598506603537e1..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Check-RouteSensor-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Check-SemaphoreNeighbor-repair.pdf b/trainbenchmark/diagrams/recent/repair/Check-SemaphoreNeighbor-repair.pdf
deleted file mode 100644
index 5d23e3d5d118ac343ec27d175bd56d6d3fa3524c..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Check-SemaphoreNeighbor-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Check-SwitchMonitored-repair.pdf b/trainbenchmark/diagrams/recent/repair/Check-SwitchMonitored-repair.pdf
deleted file mode 100644
index a837bf1571774a44f93db4a65523a6e20c5fb987..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Check-SwitchMonitored-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Check-SwitchSet-repair.pdf b/trainbenchmark/diagrams/recent/repair/Check-SwitchSet-repair.pdf
deleted file mode 100644
index 8e09ef8636dff091e7d00aab81396b9dabd3f57f..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Check-SwitchSet-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Read-ConnectedSegments-repair.pdf b/trainbenchmark/diagrams/recent/repair/Read-ConnectedSegments-repair.pdf
deleted file mode 100644
index 829717c8eb558e5d19981c60e6adfc57d3fb42d2..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Read-ConnectedSegments-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Read-PosLength-repair.pdf b/trainbenchmark/diagrams/recent/repair/Read-PosLength-repair.pdf
deleted file mode 100644
index b73ec947d24bb7c2e3f4333b916e27b30dbee5dd..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Read-PosLength-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Read-RouteSensor-repair.pdf b/trainbenchmark/diagrams/recent/repair/Read-RouteSensor-repair.pdf
deleted file mode 100644
index 1f0536bc7c557d7445ad2c48ea3a58d829584cb0..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Read-RouteSensor-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Read-SemaphoreNeighbor-repair.pdf b/trainbenchmark/diagrams/recent/repair/Read-SemaphoreNeighbor-repair.pdf
deleted file mode 100644
index 0642258a1bb46de883e4ff22afebb59e40b30d34..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Read-SemaphoreNeighbor-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Read-SwitchMonitored-repair.pdf b/trainbenchmark/diagrams/recent/repair/Read-SwitchMonitored-repair.pdf
deleted file mode 100644
index 69d7d816b312035e9b6620d288333daf2feb54fb..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Read-SwitchMonitored-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Read-SwitchSet-repair.pdf b/trainbenchmark/diagrams/recent/repair/Read-SwitchSet-repair.pdf
deleted file mode 100644
index 4a74bc5a0b5008797258c32bb54e4e8900aea289..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Read-SwitchSet-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Read-and-Check-ConnectedSegments-repair.pdf b/trainbenchmark/diagrams/recent/repair/Read-and-Check-ConnectedSegments-repair.pdf
deleted file mode 100644
index 2a98079978b3293d7bae1b7d9fc33e01d5884015..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Read-and-Check-ConnectedSegments-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Read-and-Check-PosLength-repair.pdf b/trainbenchmark/diagrams/recent/repair/Read-and-Check-PosLength-repair.pdf
deleted file mode 100644
index f73d8e967ae3a108e238d46bcb539bdf3b131436..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Read-and-Check-PosLength-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Read-and-Check-RouteSensor-repair.pdf b/trainbenchmark/diagrams/recent/repair/Read-and-Check-RouteSensor-repair.pdf
deleted file mode 100644
index 1af9c18bcb3860fc9d598c163b1dfc6e9bd9d097..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Read-and-Check-RouteSensor-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Read-and-Check-SemaphoreNeighbor-repair.pdf b/trainbenchmark/diagrams/recent/repair/Read-and-Check-SemaphoreNeighbor-repair.pdf
deleted file mode 100644
index 7627728a51d05a6959339eb7c9471351356d7931..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Read-and-Check-SemaphoreNeighbor-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Read-and-Check-SwitchMonitored-repair.pdf b/trainbenchmark/diagrams/recent/repair/Read-and-Check-SwitchMonitored-repair.pdf
deleted file mode 100644
index 8d4e463f6efb5da1d111ac022da5d77123045168..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Read-and-Check-SwitchMonitored-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Read-and-Check-SwitchSet-repair.pdf b/trainbenchmark/diagrams/recent/repair/Read-and-Check-SwitchSet-repair.pdf
deleted file mode 100644
index 8369e1fbc04388ccedd02621a55560995e34c083..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Read-and-Check-SwitchSet-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Recheck-ConnectedSegments-repair.pdf b/trainbenchmark/diagrams/recent/repair/Recheck-ConnectedSegments-repair.pdf
deleted file mode 100644
index 1ea9648297e71d7cd98b39a4b27d47bff70b35b0..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Recheck-ConnectedSegments-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Recheck-PosLength-repair.pdf b/trainbenchmark/diagrams/recent/repair/Recheck-PosLength-repair.pdf
deleted file mode 100644
index 4b3fc2850dde0220747ac72649e32a3f0a51ad35..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Recheck-PosLength-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Recheck-RouteSensor-repair.pdf b/trainbenchmark/diagrams/recent/repair/Recheck-RouteSensor-repair.pdf
deleted file mode 100644
index 0c3ebde91fcf6648f02659619854492d777640ff..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Recheck-RouteSensor-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Recheck-SemaphoreNeighbor-repair.pdf b/trainbenchmark/diagrams/recent/repair/Recheck-SemaphoreNeighbor-repair.pdf
deleted file mode 100644
index db56476584ce2be567017bf76cb52f388163937d..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Recheck-SemaphoreNeighbor-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Recheck-SwitchMonitored-repair.pdf b/trainbenchmark/diagrams/recent/repair/Recheck-SwitchMonitored-repair.pdf
deleted file mode 100644
index 2c5e5b283b13446bd2c573f18fe13455afe4dc8e..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Recheck-SwitchMonitored-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Recheck-SwitchSet-repair.pdf b/trainbenchmark/diagrams/recent/repair/Recheck-SwitchSet-repair.pdf
deleted file mode 100644
index 6748356da813ba3e25082d8eae8ea535f41ec51e..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Recheck-SwitchSet-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Transformation-ConnectedSegments-repair.pdf b/trainbenchmark/diagrams/recent/repair/Transformation-ConnectedSegments-repair.pdf
deleted file mode 100644
index b58a4f58f1c8d7677924e137d284a384c088e0ea..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Transformation-ConnectedSegments-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Transformation-PosLength-repair.pdf b/trainbenchmark/diagrams/recent/repair/Transformation-PosLength-repair.pdf
deleted file mode 100644
index 00ce642f99cf2d04bede233021b30257da961db6..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Transformation-PosLength-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Transformation-RouteSensor-repair.pdf b/trainbenchmark/diagrams/recent/repair/Transformation-RouteSensor-repair.pdf
deleted file mode 100644
index 9d0797d59d04328ab5ce3d87805cdede1e71454a..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Transformation-RouteSensor-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Transformation-SemaphoreNeighbor-repair.pdf b/trainbenchmark/diagrams/recent/repair/Transformation-SemaphoreNeighbor-repair.pdf
deleted file mode 100644
index 86b538388554e012b305b4048379f59b26eb4a8e..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Transformation-SemaphoreNeighbor-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Transformation-SwitchMonitored-repair.pdf b/trainbenchmark/diagrams/recent/repair/Transformation-SwitchMonitored-repair.pdf
deleted file mode 100644
index 58bbb8aec8cd3b636f038d8d34be1c0393203aa3..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Transformation-SwitchMonitored-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Transformation-SwitchSet-repair.pdf b/trainbenchmark/diagrams/recent/repair/Transformation-SwitchSet-repair.pdf
deleted file mode 100644
index 761d36c859259a408370cc6608fc5cce04cc9304..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Transformation-SwitchSet-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Transformation-and-Recheck-ConnectedSegments-repair.pdf b/trainbenchmark/diagrams/recent/repair/Transformation-and-Recheck-ConnectedSegments-repair.pdf
deleted file mode 100644
index ec0de8c5cf15d2010e3f66abb49837266fa073c2..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Transformation-and-Recheck-ConnectedSegments-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Transformation-and-Recheck-PosLength-repair.pdf b/trainbenchmark/diagrams/recent/repair/Transformation-and-Recheck-PosLength-repair.pdf
deleted file mode 100644
index 0579c1916453c52b17ffc74924efb4e5331b6fcd..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Transformation-and-Recheck-PosLength-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Transformation-and-Recheck-RouteSensor-repair.pdf b/trainbenchmark/diagrams/recent/repair/Transformation-and-Recheck-RouteSensor-repair.pdf
deleted file mode 100644
index 31f18f0536377ae664e62072de722857be2252bf..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Transformation-and-Recheck-RouteSensor-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Transformation-and-Recheck-SemaphoreNeighbor-repair.pdf b/trainbenchmark/diagrams/recent/repair/Transformation-and-Recheck-SemaphoreNeighbor-repair.pdf
deleted file mode 100644
index e300f378f29a42796eb0e60e3fbfd9ce9acbec40..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Transformation-and-Recheck-SemaphoreNeighbor-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Transformation-and-Recheck-SwitchMonitored-repair.pdf b/trainbenchmark/diagrams/recent/repair/Transformation-and-Recheck-SwitchMonitored-repair.pdf
deleted file mode 100644
index b476faf8cad9907601f5e13fb1f6cc913670868c..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Transformation-and-Recheck-SwitchMonitored-repair.pdf and /dev/null differ
diff --git a/trainbenchmark/diagrams/recent/repair/Transformation-and-Recheck-SwitchSet-repair.pdf b/trainbenchmark/diagrams/recent/repair/Transformation-and-Recheck-SwitchSet-repair.pdf
deleted file mode 100644
index 16223f317740caafa75467837cea705a1d23ff67..0000000000000000000000000000000000000000
Binary files a/trainbenchmark/diagrams/recent/repair/Transformation-and-Recheck-SwitchSet-repair.pdf and /dev/null differ