Hi,the MPTP Challenges web page http://www.cs.miami.edu/~tptp/MPTPChallenge/ has just been updated by current results of several leading ATP systems presented in cool SVG graphics by Steven Trac. A good SVG browser (like Firefox) or an SVG plugin is needed to view the results. Also the problem distribution has been updated (http://www.cs.miami.edu/~tptp/MPTPChallenge/MPTPChallenge.tgz) and a couple of bugs in the problems have been fixed.
Josef Urban On Tue, 22 Aug 2006, Josef Urban wrote:
Hi,at http://www.cs.miami.edu/~tptp/MPTPChallenge/ are decribed two ways how to get $100 in real currency. All you need to do is to solve automatically more Mizar problems in any of the two divisions than anyone else.Best, Josef Urban and Geoff Sutcliffe