The TPTP Problem Library

A Library of Test Problems

Features

Tarball and browsing available online at www.tptp.org