When running Copper from the command line, most of the ANSI terminal control sequences in the output counterexamples are suppressed as expected when the -nc switch is set or the logs are output to a file. However, there is still an unsuppressed a control sequence ^[[0m (which appears to be introduced by the ColoredStringBuilder.toString() method) at the end of each line.
Make sure these sequences are suppressed along with the rest.