o line is incorrect for internal optimizer
During the testing phase, the organizers of the MAXSAT evaluation discovered that the internal optimizer was not displaying the correct o line for the certificate displayed for the optimal solution. (the latter is correct, while the former is an upper bound of the optimal solution).