update MESI protocol (add missing counter), and delete results (invalid without the new counter)