examples/msg/mc/bugged2_liveness
examples/msg/mc/bugged2_stateful
examples/msg/mc/bugged3
-examples/msg/mc/centralized
+examples/msg/mc/centralized_mutex
examples/msg/mc/centralized_liveness
examples/msg/mc/electric_fence
examples/msg/mc/test/snapshot_comparison1