It seems that the problem already fixed itself but once when I opened a map, all redstone timing slowed down. For instance, repeaters had at least twice the delay that they should have. But when I reopened the map the timing was normal again.