Do not ask SeDuMi to compute DIMACs errors

Some versions of SeDuMi will crash if we ask for dimacs errors.  This change disables request for these errors.