We conducted experiments of 5 leader election protocols for PAT version 1.2.2. The performance result can be found in here. The 5 protocols are built inside PAT examples. Regarding the Spin model, they can be downloaded here.
The experiments is conducted in a Core 2 CPU 6600 @ 2.40GHz with 2GB RAM.