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