The top documents of solver-sp-z-oo