Automatic Generation of
Benchmark Problems for
Automated Theorem Proving Systems

by
Simon Colton
Department of Computer Science
University of York
England
simonco@dai.ed.ac.uk
Geoff Sutcliffe
Department of Computer Science
University of Miami
USA
geoff@cs.miami.edu

Abstract