Here is a list of all related documentation pages:

Getting Started
Result Database Format
Instance File Format
Available Solvers
Solver Configurations
License