Remove duplicate RFID example for OTYT

This test still passes and yields results as described in the file.
Update YPL and Toy examples

Removed duplicates in examples/tests.

The YPL tests all pass. YPL-v3 takes longer, since it has to explore 40
interleavings.

In the Toy series, only Toy-v1 does not (seem to) pass.
Update LAK and LD examples, they all pass

Some weird results reported in comments are now gone.
Update Toy examples

Toy-v1 does not pass! The others are still okay.
Update YPL examples

This completes the previous commit. As said there, these tests pass.