PB'10 competition: WBO track: list of solvers