a very experimental SQL server containing results of provers run on MpTP and some additional info on problems is browsable at http://lipa.ms.mff.cuni.cz/phpMyAdmin-2.4.0/, let me know if you want to submit your own results into it
the SQL structure of the server is described in the atteched file MPTPResults.sql
note that both MpTP and the results server will probably change a lot in the beginning