This may have been the first verification competition so an interesting place to look to see how the competitions developed.
Evaluating general purpose automated theorem proving systems
Geoff Sutcliffe, Christian Suttner[doi] [Google Scholar] [DBLP] [Citeseer] [url]