The next sections show briefly a configuration example of each problem. For more details you can download the configuration files.

7.1. SAT Configuration File

7.2. RND Configuration File

7.3. RND2 Configuration File

7.4. Results Representation using geografico

7.5. ONEMAX Configuration File