The TPTP Problem Library.

Geoff Sutcliffe, Christian B. Suttner, Theodor Yemenis

Browse the full CADE paper archive.