Outputs the bound analysis results to a file for the aggressive testing.