Available results for the second phase:
A report about the PB05 evaluation (version submitted to the JSAT journal)
Note that this is just a preliminary version of the report. The final version should be available in January 2006.
Results of the different solvers (tabular format)
Results of the different solvers (graphs)
Results for each benchs
Number of contributions from each solver