PB'11 competition: WBO track: available results


This site gives some information based on the answers provided by the different solvers. Not all answers given by a solver can be checked efficiently. Therefore, some answers given by a solver may be wrong but this may be unnoticed by the evaluation environment.

Here are the checks made for each answer.

General information

Global results of solvers

Individual results of solvers

Some graphs

Comparison of two solvers

Results for each bench by categories

Raw data