For those interested in automated reasoning systems: The TPTP Problem Library for Automated Theorem Proving, by Geoff Sutcliffe and Christian Suttner: http://ping.fm/kzJV0