It does for this example, it will set the output_format to ascii for either case. Just to clarify by default when use_petsc = True, the instance of the controller get two variables set up, output_method='petsc', and output_format='binary' 

By default the controller class in pyclaw gets output_format='ascii' and output_method='serial'