The server produces output files according to the following three formats:

1. The DIMACS format for Max-Sat instances
2. The format for Polynomial 0-1 instances
3. The format for General Logic Optimization